OCamlben írt könyvtárak

sihl

Moduláris funkcionális webes keretrendszer.
  • 339
  • MIT

ocaml-ctypes

Könyvtár a C könyvtárakhoz való kötéshez tiszta OCaml használatával.
  • 337
  • MIT

notty

Deklaratív terminálgrafika az OCaml-hez (pqwy).
  • 323
  • ISC

bamboo

Bamboo lásd: https://github.com/cornellblockchain/bamboo (a pirapira).
  • 318
  • Apache License 2.0

bonsai

Egy könyvtár dinamikus webalkalmazások létrehozásához a Js_of_ocaml használatával.
  • 305
  • MIT

vscode-ocaml-platform

Visual Studio Code kiterjesztés az OCaml számára.
  • 298
  • ISC

soupault

Statikus weboldal generátor a HTML elemfa átírásán alapul.
  • 294
  • MIT

ocaml-h2

Egy tiszta OCaml-ben írt HTTP/2 implementáció.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Az OCaml és a ReScript kód lefedettsége.
  • 283
  • MIT

yojson

Alacsony szintű JSON-elemzés és szép nyomtatási könyvtár az OCaml számára.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Kompozíciós JSON kódoló/dekódoló könyvtár a BuckleScript számára.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Kísérleti webes keretrendszer a ReasonML és OCaml számára.
  • 264
  • MIT

GeneWeb

A GeneWeb egy ingyenes (a szólásszabadsághoz hasonlóan) genealógiai szoftver webes felülettel, amelyet Daniel de Rauglaudre készített.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Egy OCaml kernel Jupyter (IPython) notebookhoz.
  • 258
  • MIT

1ml

1ML prototípus értelmező.
  • 255
  • Apache License 2.0

ocaml-caqti

Kooperatív szálú hozzáférés a relációs adatokhoz.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Oktatóanyag a többmagos OCaml párhuzamos programozásáról domainslib segítségével.
  • 252
  • ISC

bsb-native

Rendszer létrehozása OCaml/Reason számára.
  • 244
  • GNU General Public License v3.0

scilla

Scilla – Intelligens szerződéses középszintű nyelv (készítő: Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

A REST eszközkészlet az OCaml-hez.
  • 222
  • GNU General Public License v3.0

mldonkey

többplatformos többhálózatos p2p démon.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Az OCaml hivatalos ellenőrzése.
  • 215
  • MIT

sedlex

Egy OCaml lexer generátor Unicode-hoz.
  • 212
  • MIT

coq2rust

Coq to Rust program kitermelés. Az egész fa az eredeti Coq kódalapon van.
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Tiszta OCaml reguláris kifejezések Perl és POSIX stílusú karakterláncok támogatásával.
  • 206
  • GNU General Public License v3.0

extprot

extprot: bővíthető bináris protokollok többnyelvű kommunikációhoz és hosszú távú szerializáláshoz.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Ennek a projektnek az a célja, hogy a Kicad Sch fájlokat strukturált képfájlokba tudja exportálni (a jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Mirage tűzfal virtuális gép QubesOS rendszerhez.
  • 195

c2bf

Fordító C-től agybajig.
  • 194
  • GNU General Public License v3.0 only