Librerie scritte in OCaml
genType
Generazione automatica di collegamenti idiomatici tra Reason e JavaScript: vanilla o digitati con TypeScript/FlowType..
- 756
- MIT
austral
Linguaggio di sistema con tipi lineari e sicurezza basata sulle capacità.
- 735
- Apache License 2.0
ocaml-cohttp
Una libreria OCaml per client e server HTTP che utilizzano Lwt o Async.
- 636
- GNU General Public License v3.0
angstrom
Combinatori parser progettati per la velocità e l'efficienza della memoria.
- 562
- GNU General Public License v3.0
httpaf
Un server Web ad alte prestazioni, efficiente in termini di memoria e scalabile scritto in OCaml.
- 525
- GNU General Public License v3.0
ocaml-containers
Un'estensione della libreria standard leggera e modulare, una libreria di stringhe e interfacce per varie librerie (unix, thread, ecc.) Licenza BSD.
- 445
- BSD 2-clause "Simplified"
vult
Vult è un transcompilatore adatto per scrivere codice DSP ad alte prestazioni.
- 432
- GNU General Public License v3.0
eioio
IO in stile diretto basato su effetti per OCaml multicore.
- 424
- GNU General Public License v3.0
motoko
Semplice linguaggio di alto livello per la scrittura di contenitori per computer Internet.
- 412
- Apache License 2.0
karamel
KaRaMeL è uno strumento per estrarre programmi F* di basso livello in codice C leggibile.
- 360
- Apache License 2.0