Knjižnice, napisane v OCamlu
redtt
"Med temo in zoro se dviga rdeča kocka!": dokazni pomočnik za teorijo kartezičnega kubičnega tipa.
- 194
- Apache License 2.0
C11parser
Pravilen razčlenjevalnik C89/C90/C99/C11/C18, napisan z uporabo Menhir in OCaml.
- 174
- GNU General Public License v3.0
dometyl-keyboard
Parametrični generator za oblikovanje deljenih, konkavnih, ergonomskih tipkovnic, napisanih v ocaml..
- 170
- GNU Affero General Public License v3.0
drom
drom je ovoj nad opam/dune v poskusu zagotavljanja uporabniške izkušnje, podobne tovoru. Uporablja se lahko za ustvarjanje polnih projektov OCaml z dokumentacijo sphinx in odoc. Ima posebno znanje o Githubu in bo ustvaril datoteke za Github Actions CI in strani Github.
- 165
- GNU General Public License v3.0
mlang
Prevajalnik za jezik M, ki se uporablja za izračun dohodnine francoskih davkoplačevalcev.
- 160
- GNU General Public License v3.0 only
lablqml
Povezovanje Qt/QML z OCaml. Prej znan kot lablqt.
- 158
- GNU Lesser General Public License v3.0 only
supermin
orodje za ustvarjanje supermin naprav (prej imenovano febootstrap). PROSIMO, NE UPORABLJAJTE GITHUBA ZA TEŽAVE ALI ZAHTEVE ZA PULL. Oglejte si spletno stran za informacije o prijavi hrošča ali pa nas kontaktirajte. http://libguestfs.org.
- 155
- GNU General Public License v3.0 only
preface
Predgovor je avtorska knjižnica, zasnovana za olajšanje ravnanja s ponavljajočimi se idiomi funkcionalnega programiranja v OCaml.
- 132
- MIT
opam-monorepo
Sestavite delovne prostore dune, da zgradite svoj projekt in njegove odvisnosti kot celoto.
- 126
- ISC
flitter
Vmesni časovnik, ki ga je navdihnil Livesplit, za terminal Linux/macOS. Podpira globalne hitre tipke. (avtor alexozer).
- 124
- MIT
coq-serapi
Protokolno igrišče Coq s se(xp)rializacijo notranjih struktur..
- 114
- GNU General Public License v3.0
iter
Abstraktni podatkovni tip preprostega iteratorja, namenjen učinkovitemu ponavljanju zbirk med izvajanjem nekaterih transformacij. (z c-kocko).
- 102
- BSD 2-clause "Simplified"