In OCaml geschriebene Bibliotheken
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
ocaml-h2
Eine in reinem OCaml geschriebene HTTP/2-Implementierung.
- 287
- BSD 3-clause "New" or "Revised"
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
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-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
scilla
Scilla – Eine Smart Contract-Sprache für Fortgeschrittene (von Zilliqa).
- 239
- GNU General Public License v3.0 only
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