ytomino/gmp-ocaml

Stars
8
Rank 2,041,477 (Top 42 %)
Language
C
Created over 13 years ago
Updated 12 months ago

ytomino/gmp-ocaml

ytomino

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

GMP, MPFR and MPC interface library for Objective-Caml

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

yaml-ada

libyaml interface library for gcc-Ada (GNAT)

gmp-ada

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

boehmgc-ada

Boehm GC interface library for gcc-Ada (GNAT)

ocamlmake

very very simple build tool for Objective-Caml

web-ada

very very simple CGI library for gcc-Ada(GNAT)

openssl-ada

OpenSSL interface library for gcc-Ada(GNAT)

zlib-ada

zlib interface library for gcc-Ada (GNAT)

vampire

The Village of Vampire

gnat4drake

GNAT compatibility layer for drake