Bibliothèques écrites en OCaml
bamboo
Bambou voir https://github.com/cornellblockchain/bamboo (par pirapira).
- 318
- Apache License 2.0
bonsai
Une bibliothèque pour créer des applications Web dynamiques, en utilisant Js_of_ocaml.
- 305
- MIT
soupault
Générateur de site Web statique basé sur la réécriture d'arborescence d'éléments HTML.
- 294
- MIT
yojson
Bibliothèque d'analyse syntaxique et d'impression JSON de bas niveau pour OCaml.
- 283
- BSD 3-clause "New" or "Revised"
bs-json
Bibliothèque d'encodage/décodage JSON compositionnelle pour BuckleScript.
- 273
- GNU Lesser General Public License v3.0 only
GeneWeb
GeneWeb est un logiciel de généalogie libre (comme dans la liberté d'expression) avec une interface web créé par Daniel de Rauglaudre..
- 262
- GNU General Public License v3.0 only
ocaml-caqti
Accès coopératif aux données relationnelles.
- 255
- GNU Lesser General Public License v3.0 only
parallel-programming-in-multicore-ocaml
Tutoriel sur la programmation parallèle multicœur OCaml avec domainslib.
- 252
- ISC
scilla
Scilla - Un langage de niveau intermédiaire Smart Contract (par Zilliqa).
- 239
- GNU General Public License v3.0 only
coq2rust
Extraction du programme Coq vers Rust. L'arborescence entière est sur la base de code Coq d'origine.
- 212
- GNU Lesser General Public License v3.0 only
ocaml-re
Expressions régulières OCaml pures, avec prise en charge des chaînes de style Perl et POSIX.
- 206
- GNU General Public License v3.0
extprot
extprot: protocoles binaires extensibles pour la communication inter-langues et la sérialisation à long terme.
- 203
- GNU General Public License v3.0
plotkicadsch
Ce projet vise à pouvoir exporter des fichiers Kicad Sch vers des fichiers image structurés (par jnavila).
- 201
- GNU General Public License v3.0