Bibliotecas escritas em OCaml
CombinatorC
Uma linguagem de programação estilo C para expressar circuitos práticos do Factorio que compilam em esquemas do combinador do Factorio.
- 35
- GNU General Public License v3.0 only
RustScript2
RustScript é uma linguagem de script funcional com tanta relação com Rust quanto Javascript tem com Java.
- 32
- GNU General Public License v3.0
dream-html
Gere marcação HTML de seu servidor de back-end OCaml Dream.
- 29
- GNU General Public License v3.0 only
why3
Repositório SPARK 2014 para a plataforma de verificação Why3. (por AdaCore).
- 26
- GNU General Public License v3.0
stramon
Utilitário de monitoramento de comportamento de processo e biblioteca baseada em strace.
- 24
- MIT
ocaml-decimal
Decimais de ponto flutuante de precisão arbitrária.
- 22
- GNU General Public License v3.0
schmu
Uma linguagem de programação WIP inspirada em ML e alimentada por LLVM.
- 20
- GNU General Public License v3.0 only
opam-tools
plug-in opam para inicializar um ambiente de desenvolvimento local para um projeto OCaml.
- 20
- ISC
wyrd
Melhorias no front-end de Wyrd curses para Remind. Agora movido para o GitLab. (por Haguenau).
- 18
- GNU General Public License v3.0 only
template-ocaml
Um modelo para OCaml, configurado para Gitpod (www.gitpod.io) para fornecer ambientes de desenvolvimento efêmeros pré-construídos na nuvem.
- 16
- MIT
ramen
Uma linguagem de processamento de fluxo e compilador para monitoramento em pequena escala (por rixed).
- 15
- GNU General Public License v3.0
ocaml-mssql
Uma biblioteca cliente OCaml SQL Server wrapper de alto nível usando FreeTDS.
- 12
- Apache License 2.0