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

FaCT

Flexible und zeitkonstante Programmiersprache.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Die asynchrone Ausführungsbibliothek von Jane Street Capital (von janestreet).
  • 182
  • MIT

ocaml5-tutorial

Ein praktisches Tutorial zu den neuen Parallelitätsfunktionen in OCaml 5.
  • 182
  • MIT

morbig

Ein statischer Parser für die POSIX-Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Ein korrekter C89/C90/C99/C11/C18-Parser, geschrieben mit Menhir und OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Patoline-Satzsystem.
  • 173
  • GNU General Public License v3.0 only

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

pyml

OCaml-Bindungen für Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Parallele Programmierung über Domänen.
  • 144
  • ISC

sexplib

Automatisierte S-Ausdruckskonvertierung.
  • 141
  • MIT

postgresql-ocaml

OCaml-Bindungen für die PostgreSQL-Datenbank.
  • 138
  • GNU General Public License v3.0

jsoo-react

js_of_ocaml-Bindungen für ReactJS. Basierend auf ReasonReact.
  • 136
  • MIT

preface

Preface ist eine eigensinnige Bibliothek, die den Umgang mit wiederkehrenden funktionalen Programmiersprachen in OCaml erleichtern soll.
  • 132
  • MIT

reagents

Reagenzien für Multicore-OCaml.
  • 126
  • ISC

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"

zbg

✨ Kein Blödsinn.
  • 116
  • Mozilla Public License 2.0

lua-ml

Ein einbettbarer Lua 2.5-Interpreter, implementiert in OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Schöne Parser in OCaml ohne Boilerplate.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground mit Se(xp)rialisierung interner Strukturen.
  • 114
  • GNU General Public License v3.0

streaming

Schnelle, sichere und zusammensetzbare Streaming-Abstraktionen. (von odis-labs).
  • 105
  • ISC

sqlite3-ocaml

OCaml-Bindungen an die SQLite3-Datenbank.
  • 104
  • 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"