Gmapping. Conveniently enough, a wrapper has been made for GMapping to work with ROS and someone has written a tutorial on it.
TreeMap Algorithm. This has not been ported to ROS, yet.
Code for these and many more simultaneous localization and mapping (SLAM) algorithms are available at OpenSLAM.org.
seL4 Secure Micro kernel
21 hours ago