In OCaml geschriebene Bibliotheken

sihl

Ein modulares funktionales Web-Framework.
  • 339
  • MIT

ocaml-ctypes

Bibliothek zum Binden an C-Bibliotheken mit reinem OCaml.
  • 337
  • MIT

notty

Deklarative Terminalgrafiken für OCaml (von pqwy).
  • 323
  • ISC

bamboo

Bambus siehe https://github.com/cornellblockchain/bamboo (von pirapira).
  • 318
  • Apache License 2.0

bonsai

Eine Bibliothek zum Erstellen dynamischer Webanwendungen unter Verwendung von Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Visual Studio Code-Erweiterung für OCaml.
  • 298
  • ISC

soupault

Statischer Website-Generator basierend auf dem Umschreiben von HTML-Elementbäumen.
  • 294
  • MIT

ocaml-h2

Eine in reinem OCaml geschriebene HTTP/2-Implementierung.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Codeabdeckung für OCaml und ReScript.
  • 283
  • MIT

yojson

Low-Level-JSON-Parsing- und Pretty-Printing-Bibliothek für OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Kompositorische JSON-Kodierungs-/Dekodierungsbibliothek für BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Experimentelles Web-Framework für ReasonML und OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb ist eine kostenlose (im Sinne der freien Meinungsäußerung) Genealogie-Software mit einer Weboberfläche, die von Daniel de Rauglaudre entwickelt wurde.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Ein OCaml-Kernel für Jupyter (IPython)-Notebooks.
  • 258
  • MIT

1ml

1ML-Prototyp-Interpreter.
  • 255
  • Apache License 2.0

ocaml-caqti

Kooperativer Thread-Zugriff auf relationale Daten.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Tutorial zur parallelen Multicore-OCaml-Programmierung mit domainslib.
  • 252
  • ISC

bsb-native

Build-System für OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla – Eine Smart Contract-Sprache für Fortgeschrittene (von Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Ein REST-Toolkit für OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

Plattformübergreifender Multi-Netzwerk-P2P-Daemon.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Formale Verifizierung für OCaml.
  • 215
  • MIT

sedlex

Ein OCaml-Lexer-Generator für Unicode.
  • 212
  • MIT

coq2rust

Coq to Rust-Programmextraktion. Der gesamte Baum basiert auf der ursprünglichen Coq-Codebasis.
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Reine reguläre OCaml-Ausdrücke mit Unterstützung für Zeichenfolgen im Perl- und POSIX-Stil.
  • 206
  • GNU General Public License v3.0

extprot

extprot: erweiterbare Binärprotokolle für sprachübergreifende Kommunikation und langfristige Serialisierung.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Dieses Projekt zielt darauf ab, Kicad Sch-Dateien in strukturierte Bilddateien (von jnavila) exportieren zu können.
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Eine Mirage-Firewall-VM für QubesOS.
  • 195

c2bf

Compiler von C bis Brainfuck.
  • 194
  • GNU General Public License v3.0 only