An Ada 2012 implementation of the Rx methodology
created at April 3, 2019, 2:43 p.m.
cmake macros for simple gnat project inclusion
created at July 1, 2015, 2:01 p.m.
Ada bindings for the player robotic platform
created at Jan. 11, 2011, 9:36 a.m.
Ada General Purpose Library -- Miscellaneous utilities
created at Jan. 11, 2011, 9:35 a.m.
Ada wrapper for the fast Stachniss' Hungarian solver
created at Jan. 11, 2011, 9:37 a.m.
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
created at June 29, 2018, 12:13 p.m.
Generator of JUnit-compatible XML reports in Ada
created at May 3, 2018, 8:55 p.m.
SANCTA multi-robot task allocation library
created at Jan. 11, 2011, 9:32 a.m.
Open Source Licenses library for Ada
created at Feb. 25, 2018, 8:39 p.m.
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size
created at Dec. 25, 2013, 12:02 p.m.
Convenience subprograms to interact with C strings
created at May 30, 2018, 9:26 a.m.