Bibliotecas escritas em OCaml
genType
Geração automática de associações idiomáticas entre Reason e JavaScript: vanilla ou digitadas com TypeScript/FlowType.
- 756
- MIT
austral
Linguagem de sistemas com tipos lineares e segurança baseada em capacidade.
- 735
- Apache License 2.0
ocaml-cohttp
Uma biblioteca OCaml para clientes e servidores HTTP usando Lwt ou Async.
- 636
- GNU General Public License v3.0
angstrom
Combinadores de analisador construídos para velocidade e eficiência de memória.
- 562
- GNU General Public License v3.0
httpaf
Um servidor web de alto desempenho, memória eficiente e escalável escrito em OCaml.
- 525
- GNU General Public License v3.0
ocaml-containers
Uma extensão leve e modular de biblioteca padrão, biblioteca de strings e interfaces para várias bibliotecas (unix, threads, etc.) Licença BSD.
- 445
- BSD 2-clause "Simplified"
vult
Vult é um transcompilador adequado para escrever código DSP de alto desempenho.
- 432
- GNU General Public License v3.0
eioio
E/S de estilo direto baseado em efeitos para OCaml multicore.
- 424
- GNU General Public License v3.0
motoko
Linguagem simples de alto nível para escrever caixas de computador na Internet.
- 412
- Apache License 2.0
karamel
KaRaMeL é uma ferramenta para extrair programas F* de baixo nível para código C legível.
- 360
- Apache License 2.0