Knihovny napsané v OCamlu
redtt
"Mezi tmou a úsvitem stoupá červená krychle!": důkazní asistent pro kartézskou teorii kubických typů.
- 194
- Apache License 2.0
C11parser
Správný analyzátor C89/C90/C99/C11/C18 napsaný pomocí Menhir a OCaml.
- 174
- GNU General Public License v3.0
dometyl-keyboard
Parametrický generátor pro navrhování rozdělených, konkávních, ergonomických klávesnic napsaných v ocaml..
- 170
- GNU Affero General Public License v3.0
drom
drom je obal přes opam/dune ve snaze poskytnout uživatelské prostředí podobné nákladu. Lze jej použít k vytvoření úplných projektů OCaml s dokumentací sfingy a odoc. Má specifické znalosti Github a vygeneruje soubory pro Github Actions CI a stránky Github.
- 165
- GNU General Public License v3.0
mlang
Kompilátor pro jazyk M, používaný k výpočtu daně z příjmu francouzských daňových poplatníků.
- 160
- GNU General Public License v3.0 only
lablqml
Propojení Qt/QML s OCaml. Dříve známý jako lablqt.
- 158
- GNU Lesser General Public License v3.0 only
supermin
nástroj pro vytváření supermin zařízení (dříve nazývaný febootstrap). PROSÍM, NEPOUŽÍVEJTE GITHUB PRO PROBLÉMY NEBO ŽÁDOSTI O VYTAHOVÁNÍ. Podívejte se na webové stránky, kde se dozvíte, jak nahlásit chybu, nebo nás kontaktujte. http://libguestfs.org.
- 155
- GNU General Public License v3.0 only
preface
Předmluva je názorná knihovna navržená tak, aby usnadnila práci s opakujícími se funkčními programovacími idiomy v OCaml.
- 132
- MIT
opam-monorepo
Sestavte pracovní prostory duny a sestavte svůj projekt a jeho závislosti jako celek.
- 126
- ISC
flitter
Speedrunning split timer inspirovaný Livesplit pro terminál Linux/macOS. Podporuje globální klávesové zkratky. (podle alexozeru).
- 124
- MIT
coq-serapi
Coq Protocol Playground se Se(xp)rializací vnitřních struktur..
- 114
- GNU General Public License v3.0
iter
Jednoduchý abstraktní datový typ iterátoru určený k efektivnímu iterování v kolekcích při provádění některých transformací. (podle c-cube).
- 102
- BSD 2-clause "Simplified"