Biblioteker skrevet i OCaml
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
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-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
scilla
Scilla - A Smart Contract Intermediate Level Language (af Zilliqa).
- 239
- GNU General Public License v3.0 only
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