Bibliotecas escritas en OCaml
CombinatorC
Un lenguaje de programación de estilo C para expresar circuitos prácticos de Factorio que se compila en planos del combinador de Factorio.
- 35
- GNU General Public License v3.0 only
RustScript2
RustScript es un lenguaje de secuencias de comandos funcional con tanta relación con Rust como Javascript tiene con Java.
- 32
- GNU General Public License v3.0
dream-html
Genere marcado HTML desde su servidor backend OCaml Dream.
- 29
- GNU General Public License v3.0 only
why3
Repositorio SPARK 2014 para la plataforma de verificación Why3. (por AdaCore).
- 26
- GNU General Public License v3.0
ocaml-decimal
Decimales de punto flotante de precisión arbitraria.
- 22
- GNU General Public License v3.0
schmu
Un lenguaje de programación WIP inspirado en ML y con tecnología LLVM.
- 20
- GNU General Public License v3.0 only
opam-tools
Complemento opam para inicializar un entorno de desarrollo local para un proyecto OCaml.
- 20
- ISC
wyrd
Mejoras en el front-end de maldiciones Wyrd para Remind. Ahora movido a GitLab. (por Haguenau).
- 18
- GNU General Public License v3.0 only
template-ocaml
Una plantilla para OCaml, configurada para Gitpod (www.gitpod.io) para brindarle entornos de desarrollo efímeros prediseñados en la nube.
- 16
- MIT
ramen
Un lenguaje de procesamiento de flujo y compilador para el monitoreo a pequeña escala (por rixed).
- 15
- GNU General Public License v3.0
ocaml-mssql
Una biblioteca de cliente OCaml SQL Server contenedor de alto nivel que utiliza FreeTDS.
- 12
- Apache License 2.0