Biblioteke napisane u OCamlu
redtt
"Između tame i zore, crvena kocka se diže!": pomoćnik za dokaz za teoriju kartezijanskog kubičnog tipa.
- 194
- Apache License 2.0
C11parser
Ispravan C89/C90/C99/C11/C18 parser napisan korištenjem Menhir i OCaml.
- 174
- GNU General Public License v3.0
dometyl-keyboard
Parametarski generator za dizajniranje podijeljenih, konkavnih, ergonomskih tipkovnica napisanih u ocaml..
- 170
- GNU Affero General Public License v3.0
drom
drom je omot preko opam/dune u pokušaju pružanja korisničkog iskustva nalik teretu. Može se koristiti za izradu potpunih OCaml projekata sa sphinx i odoc dokumentacijom. Ima specifično znanje o Githubu i generiraće datoteke za Github Actions CI i Github stranice.
- 165
- GNU General Public License v3.0
mlang
Kompilator za jezik M, koji se koristi za izračunavanje poreza na dohodak francuskih poreznih obveznika.
- 160
- GNU General Public License v3.0 only
lablqml
Sučelje Qt/QML s OCamlom. Prethodno poznat kao lablqt.
- 158
- GNU Lesser General Public License v3.0 only
supermin
alat za izradu supermin uređaja (ranije zvan febootstrap). MOLIMO VAS NE KORISTITE GITHUB ZA PROBLEME ILI ZAHTJEVE ZA POVLAČENJEM. Pogledajte web stranicu kako prijaviti bug ili nas kontaktirajte. http://libguestfs.org.
- 155
- GNU General Public License v3.0 only
preface
Predgovor je samouvjerena biblioteka osmišljena da olakša rukovanje ponavljajućim idiomima funkcionalnog programiranja u OCaml-u.
- 132
- MIT
opam-monorepo
Sastavite dune radne prostore kako biste izgradili svoj projekt i njegove ovisnosti u cjelini.
- 126
- ISC
flitter
Speedrunning split timer inspiriran Livesplitom za Linux/macOS terminal. Podržava globalne prečace. (autor alexozer).
- 124
- MIT
coq-serapi
Igralište Coq protokola sa se(xp)rijalizacijom unutarnjih struktura..
- 114
- GNU General Public License v3.0
iter
Jednostavni apstraktni tip podataka iteratora, namijenjen učinkovitom ponavljanju zbirki uz izvođenje nekih transformacija. (kod c-kocke).
- 102
- BSD 2-clause "Simplified"