Biblioteki napisane w OCaml

sihl

Modułowa funkcjonalna platforma internetowa.
  • 339
  • MIT

ocaml-ctypes

Biblioteka do wiązania z bibliotekami C przy użyciu czystego OCamla.
  • 337
  • MIT

notty

Deklaratywna grafika terminala dla OCaml (przez pqwy).
  • 323
  • ISC

bamboo

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

bonsai

Biblioteka do tworzenia dynamicznych aplikacji internetowych przy użyciu Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Rozszerzenie Visual Studio Code dla OCaml.
  • 298
  • ISC

soupault

Generator statycznych stron internetowych oparty na przepisaniu drzewa elementów HTML.
  • 294
  • MIT

ocaml-h2

Implementacja HTTP/2 napisana w czystym OCamlu.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Pokrycie kodu dla OCaml i ReScript.
  • 283
  • MIT

yojson

Niskopoziomowa biblioteka parsowania JSON i ładnego drukowania dla OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Kompozycyjna biblioteka kodowania/dekodowania JSON dla BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Eksperymentalna platforma internetowa dla ReasonML i OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb to darmowe (jak w przypadku wolności słowa) oprogramowanie genealogiczne z interfejsem internetowym stworzonym przez Daniela de Rauglaudre.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Jądro OCaml dla notebooka Jupyter (IPython).
  • 258
  • MIT

1ml

Prototypowy interpreter 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Wątkowy dostęp do danych relacyjnych.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Samouczek na temat programowania równoległego Multicore OCaml z domainslib.
  • 252
  • ISC

bsb-native

Zbuduj system dla OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla — inteligentny kontrakt na poziomie średniozaawansowanym (autor: Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Zestaw narzędzi REST dla OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

wieloplatformowy, wielosieciowy demon p2p.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Formalna weryfikacja dla OCaml.
  • 215
  • MIT

sedlex

Generator leksera OCaml dla Unicode.
  • 212
  • MIT

coq2rust

Ekstrakcja programu Coq do Rust. Całe drzewo jest na oryginalnej bazie kodu Coq..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Czyste wyrażenia regularne OCaml, z obsługą ciągów znaków w stylu Perl i POSIX.
  • 206
  • GNU General Public License v3.0

extprot

extprot: rozszerzalne protokoły binarne do komunikacji międzyjęzykowej i długoterminowej serializacji.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Ten projekt ma na celu umożliwienie eksportowania plików Kicad Sch do plików obrazów strukturalnych (przez jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Maszyna wirtualna zapory Mirage dla systemu QubesOS.
  • 195

c2bf

Kompilator od C do brainfuck.
  • 194
  • GNU General Public License v3.0 only