Bibliothèques écrites en OCaml

sihl

Un framework web fonctionnel et modulaire.
  • 339
  • MIT

ocaml-ctypes

Bibliothèque pour la liaison aux bibliothèques C en utilisant OCaml pur.
  • 337
  • MIT

notty

Graphiques de terminaux déclaratifs pour OCaml (par pqwy).
  • 323
  • ISC

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

vscode-ocaml-platform

Extension Visual Studio Code pour OCaml.
  • 298
  • ISC

soupault

Générateur de site Web statique basé sur la réécriture d'arborescence d'éléments HTML.
  • 294
  • MIT

ocaml-h2

Une implémentation HTTP/2 écrite en OCaml pur.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Couverture de code pour OCaml et ReScript.
  • 283
  • 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

re-web

Framework Web expérimental pour ReasonML et OCaml.
  • 264
  • MIT

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-jupyter

Un noyau OCaml pour le bloc-notes Jupyter (IPython).
  • 258
  • MIT

1ml

Interprète prototype 1ML.
  • 255
  • Apache License 2.0

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

bsb-native

Construire le système pour OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Un langage de niveau intermédiaire Smart Contract (par Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Une boîte à outils REST pour OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

démon p2p multi-plateforme multi-réseaux.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Vérification formelle pour OCaml.
  • 215
  • MIT

sedlex

Un générateur de lexer OCaml pour Unicode.
  • 212
  • MIT

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

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Une machine virtuelle de pare-feu Mirage pour QubesOS.
  • 195

c2bf

Compilateur de C pour brainfuck.
  • 194
  • GNU General Public License v3.0 only