BetaRare
gfngfn/SATySFi
A statically-typed, functional typesetting system
- Owner
- gfngfn (personal account)
- Stars
- Stars: 1,248
- Forks
- Forks: 87
- Language
- OCaml
- License
- LGPL-3.0
- Created
- 2015
- Topics
- ocamlmarkup-languagelatexfunctional-programmingpdf-generationopentypesatysfiopampdftypesetting-system
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by gfngfn
All 2 repos by gfngfn- gfngfn/SesterlStars: 163OCamlPrototype
Nearby in OCaml
All OCaml repos- stategraph/stategraphStars: 1,326OCamlBeta
- realworldocaml/bookStars: 1,266OCamlBeta
- MLstate/opalangStars: 1,264OCamlBeta
- moby/vpnkitStars: 1,210OCamlBeta
- janestreet/hardcamlStars: 1,166OCamlBeta
- AeneasVerif/aeneasStars: 1,152OCamlBeta