Bibliotecas escritas en OCaml

sihl

Un framework web funcional modular.
  • 339
  • MIT

ocaml-ctypes

Biblioteca para enlazar a bibliotecas C usando OCaml puro.
  • 337
  • MIT

notty

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

bamboo

Bambú ver https://github.com/cornellblockchain/bamboo (por pirapira).
  • 318
  • Apache License 2.0

bonsai

Una biblioteca para construir aplicaciones web dinámicas, utilizando Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Extensión de Visual Studio Code para OCaml.
  • 298
  • ISC

soupault

Generador de sitios web estáticos basado en la reescritura del árbol de elementos HTML.
  • 294
  • MIT

ocaml-h2

Una implementación de HTTP/2 escrita en OCaml puro.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

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

yojson

Biblioteca de análisis e impresión bonita de JSON de bajo nivel para OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Biblioteca de codificación/decodificación JSON de composición para BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

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

GeneWeb

GeneWeb es un software de genealogía gratuito (como en la libertad de expresión) con una interfaz web creada por Daniel de Rauglaudre.
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Un núcleo OCaml para portátiles Jupyter (IPython).
  • 258
  • MIT

1ml

Intérprete prototipo 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Acceso mediante subprocesos cooperativos a datos relacionales.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Tutorial sobre programación paralela Multicore OCaml con domainslib.
  • 252
  • ISC

bsb-native

Sistema de compilación para OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla: un lenguaje de nivel intermedio de contrato inteligente (por Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Un conjunto de herramientas REST para OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

Daemon p2p multiplataforma multired.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Verificación formal para OCaml.
  • 215
  • MIT

sedlex

Un generador OCaml lexer para Unicode.
  • 212
  • MIT

coq2rust

Extracción del programa Coq to Rust. Todo el árbol está basado en el código original de Coq.
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Expresiones regulares OCaml puras, con soporte para Perl y cadenas de estilo POSIX.
  • 206
  • GNU General Public License v3.0

extprot

extprot: protocolos binarios extensibles para comunicación entre idiomas y serialización a largo plazo.
  • 203
  • GNU General Public License v3.0

plotkicadsch

Este proyecto tiene como objetivo poder exportar archivos Kicad Sch a archivos de imágenes estructuradas (por jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Una máquina virtual de cortafuegos de Mirage para QubesOS.
  • 195

c2bf

Compilador de C a Brainfuck.
  • 194
  • GNU General Public License v3.0 only