Bibliotecas escritas em OCaml

sihl

Uma estrutura modular da Web funcional.
  • 339
  • MIT

ocaml-ctypes

Biblioteca para ligação a bibliotecas C usando OCaml puro.
  • 337
  • MIT

notty

Gráficos de terminal declarativos para OCaml (por pqwy).
  • 323
  • ISC

bamboo

Bamboo veja https://github.com/cornellblockchain/bamboo (por pirapira).
  • 318
  • Apache License 2.0

bonsai

Uma biblioteca para construir webapps dinâmicos, usando Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Extensão do Visual Studio Code para OCaml.
  • 298
  • ISC

soupault

Gerador de site estático baseado na reescrita da árvore de elementos HTML.
  • 294
  • MIT

ocaml-h2

Uma implementação HTTP/2 escrita em OCaml puro.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Cobertura de código para OCaml e ReScript.
  • 283
  • MIT

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

re-web

Framework web experimental para ReasonML & OCaml.
  • 264
  • MIT

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

ocaml-jupyter

Um kernel OCaml para notebook Jupyter (IPython).
  • 258
  • MIT

1ml

Interpretador de protótipo 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Acesso cooperativo a dados relacionais.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Tutorial sobre programação paralela Multicore OCaml com domainslib.
  • 252
  • ISC

bsb-native

Sistema de compilação para OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Uma linguagem de nível intermediário de contrato inteligente (por Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Um kit de ferramentas REST para OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

daemon p2p multi-rede multiplataforma.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Verificação formal para OCaml.
  • 215
  • MIT

sedlex

Um gerador lexer OCaml para Unicode.
  • 212
  • MIT

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

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Uma VM de firewall Mirage para QubesOS.
  • 195

c2bf

Compilador de C para brainfuck.
  • 194
  • GNU General Public License v3.0 only