Knižnice napísané v OCamle
redtt
"Medzi tmou a úsvitom stúpa červená kocka!": dôkazový asistent pre teóriu karteziánskeho kubického typu.
- 194
- Apache License 2.0
C11parser
Správny analyzátor C89/C90/C99/C11/C18 napísaný pomocou Menhir a OCaml.
- 174
- GNU General Public License v3.0
dometyl-keyboard
Parametrický generátor na navrhovanie rozdelených, konkávnych, ergonomických klávesníc napísaných v ocaml..
- 170
- GNU Affero General Public License v3.0
drom
drom je obal cez opam/dune v snahe poskytnúť užívateľský zážitok podobný nákladu. Môže sa použiť na vytváranie úplných projektov OCaml s dokumentáciou sfingy a odoc. Má špecifické znalosti o Github a vygeneruje súbory pre Github Actions CI a stránky Github.
- 165
- GNU General Public License v3.0
mlang
Kompilátor pre jazyk M, ktorý sa používa na výpočet dane z príjmu francúzskych daňovníkov.
- 160
- GNU General Public License v3.0 only
lablqml
Prepojenie Qt/QML s OCaml. Predtým známy ako lablqt.
- 158
- GNU Lesser General Public License v3.0 only
supermin
nástroj na vytváranie supermin zariadení (predtým nazývaný febootstrap). PROSÍM, NEPOUŽÍVAJTE GITHUB NA PROBLÉMY ALEBO VYŤAHOVANÉ POŽIADAVKY. Pozrite si webovú stránku, kde nájdete informácie o tom, ako nahlásiť chybu, alebo nás kontaktujte. http://libguestfs.org.
- 155
- GNU General Public License v3.0 only
preface
Predslov je názorná knižnica navrhnutá tak, aby uľahčila prácu s opakujúcimi sa funkčnými programovacími idiómami v OCaml.
- 132
- MIT
opam-monorepo
Zostavte pracovné priestory duny a vytvorte svoj projekt a jeho závislosti ako celok.
- 126
- ISC
flitter
Speedrunning split timer inšpirovaný Livesplit pre terminál Linux/macOS. Podporuje globálne klávesové skratky. (pomocou alexozera).
- 124
- MIT
coq-serapi
Coq Protocol Playground so Se(xp)rializáciou vnútorných štruktúr.
- 114
- GNU General Public License v3.0
iter
Jednoduchý abstraktný dátový typ iterátora určený na efektívne iterovanie v kolekciách pri vykonávaní niektorých transformácií. (podľa c-kocky).
- 102
- BSD 2-clause "Simplified"