7
Repos
1.5k
Stars
97
Forks
1.5k
Watchers
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
157
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
20
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