Bibliotecas escritas em OCaml
bamboo
Bamboo veja https://github.com/cornellblockchain/bamboo (por pirapira).
- 318
- Apache License 2.0
yojson
Biblioteca de análise JSON de baixo nível e impressão bonita para OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Biblioteca de codificação/decodificação JSON de composição para BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb é um software de genealogia gratuito (como na liberdade de expressão) com uma interface web criada por Daniel de Rauglaudre.
- 262
- GNU General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Tutorial sobre programação paralela Multicore OCaml com domainslib.
- 252
- ISC
scilla
Scilla - Uma linguagem de nível intermediário de contrato inteligente (por Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Extração do programa Coq to Rust. A árvore inteira está na base de código Coq original.
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Expressões regulares OCaml puras, com suporte para strings de estilo Perl e POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: protocolos binários extensíveis para comunicação entre linguagens e serialização de longo prazo.
- 203
- GNU General Public License v3.0
plotkicadsch
Este projeto visa poder exportar arquivos Kicad Sch para arquivos de imagens estruturadas (por jnavila).
- 201
- GNU General Public License v3.0