Bibliotecas escritas en OCaml
soupault
Generador de sitios web estáticos basado en la reescritura del árbol de elementos HTML.
- 294
- 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
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-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
scilla
Scilla: un lenguaje de nivel intermedio de contrato inteligente (por Zilliqa).
- 239
- GNU General Public License v3.0 only
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