ytomino/gnat4drake

Stars
1
Language
Ada
License
MIT License
Created almost 7 years ago
Updated almost 7 years ago

ytomino/gnat4drake

ytomino

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

GNAT compatibility layer for drake

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

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