Discover @ytomino Open Source projects

@ytomino

ytomino

Stars
113
Global Rank 184,163 (Top 7 %)
Followers 31
Following 16
Registered over 13 years ago
Most used languages

Ada
64.3 %

OCaml
21.4 %

C
14.3 %

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

gnat4drake

GNAT compatibility layer for drake