ytomino

drake. Drake: A Runtime Library for gcc-Ada

headmaster. the translator from C headers to another language (currently, Ada only)

terminal-ocaml. terminal library for Objective-Caml

unicode-ocaml. very very simple unicode library for Objective-Caml

gmp-ocaml. GMP, MPFR and MPC interface library for Objective-Caml

bdwgc-ada. Boehm GC interface library for gcc-Ada (GNAT)

gmp-ada. GMP, MPFR and MPC interface library for gcc-Ada (GNAT)

yaml-ada. libyaml interface library for gcc-Ada (GNAT)

web-ada. very very simple CGI library for gcc-Ada(GNAT)

ocamlmake. very very simple build tool for Objective-Caml

openssl-ada. OpenSSL interface library for gcc-Ada(GNAT)

vampire. The Village of Vampire

zlib-ada. zlib interface library for gcc-Ada (GNAT)

gnat4drake. GNAT compatibility layer for drake

krunner_locate. Plasma Locate Runner (KRunner plugin)