# gfngfn/SATySFi

<https://repo.masters-masters.com/repos/gfngfn/SATySFi>

[Accueil](https://repo.masters-masters.com/) › [gfngfn](https://repo.masters-masters.com/owners/gfngfn) › [SATySFi](https://repo.masters-masters.com/repos/gfngfn/SATySFi)

gfngfn/SATySFi, dépôt open source à 1 248 étoiles sur GitHub. Carte Bêta de RepoMasters. A statically-typed, functional typesetting system Langage : OCaml.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [gfngfn](https://repo.masters-masters.com/owners/gfngfn) |
| Étoiles | 1 248 |
| Forks | 87 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | LGPL-3.0 |
| Création | 2015 |
| Sujets | ocaml, markup-language, latex, functional-programming, pdf-generation, opentype, satysfi, opam, pdf, typesetting-system |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [gfngfn/SATySFi](https://github.com/gfngfn/SATySFi) |

## Fiche du dépôt

A statically-typed, functional typesetting system

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## Autres dépôts de gfngfn

- [gfngfn/Sesterl · ★ 163 · OCaml · Prototype](https://repo.masters-masters.com/repos/gfngfn/Sesterl)

## D’autres dépôts OCaml

- [stategraph/stategraph · ★ 1 326 · OCaml · Bêta](https://repo.masters-masters.com/repos/stategraph/stategraph)
- [realworldocaml/book · ★ 1 266 · OCaml · Bêta](https://repo.masters-masters.com/repos/realworldocaml/book)
- [MLstate/opalang · ★ 1 264 · OCaml · Bêta](https://repo.masters-masters.com/repos/MLstate/opalang)
- [moby/vpnkit · ★ 1 210 · OCaml · Bêta](https://repo.masters-masters.com/repos/moby/vpnkit)
- [janestreet/hardcaml · ★ 1 166 · OCaml · Bêta](https://repo.masters-masters.com/repos/janestreet/hardcaml)
- [AeneasVerif/aeneas · ★ 1 152 · OCaml · Bêta](https://repo.masters-masters.com/repos/AeneasVerif/aeneas)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.