Librerie scritte in OCaml
bamboo
Bamboo vedi https://github.com/cornellblockchain/bamboo (di pirapira).
- 318
- Apache License 2.0
soupault
Generatore di siti Web statici basato sulla riscrittura dell'albero degli elementi HTML.
- 294
- MIT
yojson
Analisi JSON di basso livello e libreria Pretty-Printing per OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Libreria di codifica/decodifica JSON composizionale per BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb è un software di genealogia gratuito (come nella libertà di parola) con un'interfaccia web creata da Daniel de Rauglaudre..
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Accesso a thread cooperativo ai dati relazionali.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Tutorial sulla programmazione parallela Multicore OCaml con domainslib.
- 252
- ISC
scilla
Scilla - Un linguaggio di livello intermedio per contratti intelligenti (di Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Estrazione del programma da Coq a Rust. L'intero albero è sulla base del codice Coq originale..
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Espressioni regolari OCaml pure, con supporto per stringhe in stile Perl e POSIX.
- 206
- GNU General Public License v3.0
plotkicadsch
Questo progetto mira a poter esportare i file Kicad Sch in file immagine strutturati (da jnavila).
- 201
- GNU General Public License v3.0