In OCaml geschriebene Bibliotheken
redtt
„Zwischen Dunkelheit und Morgengrauen erhebt sich ein roter Würfel!“: ein Beweisassistent für die Theorie des kartesischen kubischen Typs.
- 194
- Apache License 2.0
C11parser
Ein korrekter C89/C90/C99/C11/C18-Parser, geschrieben mit Menhir und OCaml.
- 174
- GNU General Public License v3.0
dometyl-keyboard
Ein parametrischer Generator zum Entwerfen geteilter, konkaver, ergonomischer Tastaturen, geschrieben in OCAML.
- 170
- GNU Affero General Public License v3.0
drom
drom ist ein Wrapper über opam/dune, um eine frachtähnliche Benutzererfahrung zu bieten. Es kann verwendet werden, um vollständige OCaml-Projekte mit Sphinx- und Odoc-Dokumentation zu erstellen. Es verfügt über spezifische Github-Kenntnisse und generiert Dateien für Github Actions CI und Github-Seiten.
- 165
- GNU General Public License v3.0
mlang
Compiler für die M-Sprache, der zur Berechnung der Einkommensteuer französischer Steuerzahler verwendet wird.
- 160
- GNU General Public License v3.0 only
lablqml
Schnittstelle zwischen Qt/QML und OCaml. Früher als lablqt bekannt.
- 158
- GNU Lesser General Public License v3.0 only
supermin
Tool zum Erstellen von Supermin-Appliances (früher Febootstrap genannt). BITTE VERWENDEN SIE GITHUB NICHT FÜR PROBLEME ODER PULL-ANFRAGEN. Informationen zum Melden eines Fehlers finden Sie auf der Website oder Sie können uns kontaktieren. http://libguestfs.org.
- 155
- GNU General Public License v3.0 only
preface
Preface ist eine eigensinnige Bibliothek, die den Umgang mit wiederkehrenden funktionalen Programmiersprachen in OCaml erleichtern soll.
- 132
- MIT
opam-monorepo
Stellen Sie Dune-Arbeitsbereiche zusammen, um Ihr Projekt und seine Abhängigkeiten als Ganzes aufzubauen.
- 126
- ISC
ocurrent
Hält die Dinge auf dem neuesten Stand (eine CI/CD-Pipeline OCaml eDSL).
- 125
- Apache License 2.0
flitter
Ein von Livesplit inspirierter Speedrunning-Split-Timer für Linux/MacOS-Terminal. Unterstützt globale Hotkeys. (von Alexozer).
- 124
- MIT
stanc3
Der Stan-Transpiler (von Stan nach C++ und darüber hinaus).
- 120
- BSD 3-clause "New" or "Revised"
coq-serapi
Coq Protocol Playground mit Se(xp)rialisierung interner Strukturen.
- 114
- GNU General Public License v3.0
iter
Einfacher abstrakter Iterator-Datentyp, der dazu gedacht ist, Sammlungen effizient zu iterieren und gleichzeitig einige Transformationen durchzuführen. (von c-cube).
- 102
- BSD 2-clause "Simplified"