Biblioteker skrevet i OCaml

sihl

En modulær funktionel webramme.
  • 339
  • MIT

ocaml-ctypes

Bibliotek til binding til C-biblioteker ved hjælp af ren OCaml.
  • 337
  • MIT

notty

Deklarativ terminalgrafik til OCaml (af pqwy).
  • 323
  • ISC

bamboo

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

bonsai

Et bibliotek til at bygge dynamiske webapps ved hjælp af Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Visual Studio Code-udvidelse til OCaml.
  • 298
  • ISC

soupault

Statisk webstedsgenerator baseret på HTML-elementtræ omskrivning.
  • 294
  • MIT

ocaml-h2

En HTTP/2-implementering skrevet i ren OCaml.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Kodedækning for OKaml og ReScript.
  • 283
  • MIT

yojson

Lavt niveau JSON-parsing og smukt udskrivningsbibliotek til OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Kompositionelt JSON-kodnings-/afkodningsbibliotek til BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Eksperimentel webramme for ReasonML & OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb er en gratis (som i ytringsfrihed) slægtsforskningssoftware med en webgrænseflade skabt af Daniel de Rauglaudre.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

En OKaml-kerne til Jupyter (IPython) notesbog.
  • 258
  • MIT

1ml

1ML prototype tolk.
  • 255
  • Apache License 2.0

ocaml-caqti

Kooperativ trådad adgang til relationelle data.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Tutorial om Multicore OCaml parallel programmering med domainslib.
  • 252
  • ISC

bsb-native

Byg system til OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - A Smart Contract Intermediate Level Language (af Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Et REST-værktøjssæt til OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

multi-netværk p2p-dæmon på tværs af platforme.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Formel verifikation for OKaml.
  • 215
  • MIT

sedlex

En OKaml lexer generator til Unicode.
  • 212
  • MIT

coq2rust

Coq to Rust program udvinding. Hele træet er på den originale Coq-kodebase..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Rene OKaml regulære udtryk, med understøttelse af Perl og POSIX-stil strenge.
  • 206
  • GNU General Public License v3.0

extprot

extprot: udvidelige binære protokoller til kommunikation på tværs af sprog og langsigtet serialisering.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Dette projekt sigter mod at kunne eksportere Kicad Sch-filer til strukturerede billedfiler (af jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

En Mirage firewall VM til QubesOS.
  • 195

c2bf

Compiler fra C til brainfuck.
  • 194
  • GNU General Public License v3.0 only