Librerie scritte in OCaml
CombinatorC
Un linguaggio di programmazione in stile C per esprimere circuiti Factorio pratici che vengono compilati in schemi combinatori Factorio.
- 35
- GNU General Public License v3.0 only
RustScript2
RustScript è un linguaggio di scripting funzionale con tanto rapporto con Rust quanto Javascript ha con Java.
- 32
- GNU General Public License v3.0
dream-html
Genera markup HTML dal tuo server di backend OCaml Dream.
- 29
- GNU General Public License v3.0 only
why3
Repository SPARK 2014 per la piattaforma di verifica Why3. (di AdaCore).
- 26
- GNU General Public License v3.0
ocaml-decimal
Decimali a virgola mobile di precisione arbitraria.
- 22
- GNU General Public License v3.0
schmu
Un linguaggio di programmazione WIP ispirato al ML e potenziato da LLVM.
- 20
- GNU General Public License v3.0 only
opam-tools
plugin opam per inizializzare un ambiente di sviluppo locale per un progetto OCaml.
- 20
- ISC
wyrd
Miglioramenti al front-end delle maledizioni Wyrd per Remind. Ora spostato su GitLab. (di Haguenau).
- 18
- GNU General Public License v3.0 only
template-ocaml
Un modello per OCaml, configurato per Gitpod (www.gitpod.io) per offrirti ambienti di sviluppo effimeri predefiniti nel cloud.
- 16
- MIT
ramen
Un linguaggio di elaborazione del flusso e un compilatore per il monitoraggio su piccola scala (di rixed).
- 15
- GNU General Public License v3.0
ocaml-mssql
Una libreria client OCaml SQL Server wrapper di alto livello che utilizza FreeTDS.
- 12
- Apache License 2.0