@ytomino
github

ytomino

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    113
  • Global Rank 190,295 (Top 7 %)
  • Followers 31
  • Following 16
  • Registered about 14 years ago
  • Most used languages
    Ada
         64.3 %
    OCaml
         21.4 %
    C
         14.3 %

Top repositories

1

drake

Drake: A Runtime Library for gcc-Ada
Ada
38
star
2

headmaster

the translator from C headers to another language (currently, Ada only)
OCaml
18
star
3

terminal-ocaml

terminal library for Objective-Caml
C
11
star
4

unicode-ocaml

very very simple unicode library for Objective-Caml
OCaml
9
star
5

gmp-ocaml

GMP, MPFR and MPC interface library for Objective-Caml
C
8
star
6

yaml-ada

libyaml interface library for gcc-Ada (GNAT)
Ada
6
star
7

gmp-ada

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

boehmgc-ada

Boehm GC interface library for gcc-Ada (GNAT)
Ada
5
star
9

ocamlmake

very very simple build tool for Objective-Caml
OCaml
4
star
10

web-ada

very very simple CGI library for gcc-Ada(GNAT)
Ada
3
star
11

openssl-ada

OpenSSL interface library for gcc-Ada(GNAT)
Ada
3
star
12

zlib-ada

zlib interface library for gcc-Ada (GNAT)
Ada
1
star
13

vampire

The Village of Vampire
Ada
1
star
14

gnat4drake

GNAT compatibility layer for drake
Ada
1
star