7
Repos
1.5k
Stars
97
Forks
74
Watchers
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (7)
SATySFi
gfngfn/SATySFi
OCaml
A statically-typed, functional typesetting system
1.2k
87
Sesterl
gfngfn/Sesterl
OCaml
An ML-like statically-typed Erlang
163
5
toy-macro-ml
gfngfn/toy-macro-ml
OCaml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
33
1
otfed
gfngfn/otfed
OCaml
An OpenType font format encoder & decoder written in OCaml
21
0
apbuf
gfngfn/apbuf
OCaml
Algebraic protocol buffers
13
0
tex_of_ocaml
gfngfn/tex_of_ocaml
TeX
A compiler for untyped lambda terms to TeX code
6
0
satysfi-external-repo
gfngfn/satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
5
4