Popular repositories Loading

1. drake drake Public

   Drake: A Runtime Library for gcc-Ada

   Ada 43 10

2. headmaster headmaster Public

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

   OCaml 19 2

3. terminal-ocaml terminal-ocaml Public

   terminal library for Objective-Caml

   C 12 1

4. unicode-ocaml unicode-ocaml Public

   very very simple unicode library for Objective-Caml

   OCaml 10

5. gmp-ocaml gmp-ocaml Public

   GMP, MPFR and MPC interface library for Objective-Caml

   C 9 1

6. bdwgc-ada bdwgc-ada Public

   Boehm GC interface library for gcc-Ada (GNAT)

   Ada 7 1