Bibliothèques écrites en OCaml

redtt

"Entre l'obscurité et l'aube, un cube rouge se lève!": un assistant de preuve pour la théorie des types cubiques cartésiens.
  • 194
  • Apache License 2.0

FaCT

Langage de programmation flexible et à temps constant.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Bibliothèque d'exécution asynchrone de Jane Street Capital (par janestreet).
  • 182
  • MIT

ocaml5-tutorial

Un tutoriel pratique sur les nouvelles fonctionnalités de parallélisme dans OCaml 5.
  • 182
  • MIT

morbig

Un analyseur statique pour POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Un analyseur correct C89/C90/C99/C11/C18 écrit en utilisant Menhir et OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Système de composition Patoline.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Un générateur paramétrique pour concevoir des claviers divisés, concaves et ergonomiques écrits en ocaml.
  • 170
  • GNU Affero General Public License v3.0

drom

drom est un wrapper sur opam/dune dans le but de fournir une expérience utilisateur de type cargo. Il peut être utilisé pour créer des projets OCaml complets avec une documentation sphinx et odoc. Il a une connaissance spécifique de Github et générera des fichiers pour les pages Github Actions CI et Github.
  • 165
  • GNU General Public License v3.0

mlang

Compilateur pour le langage M, utilisé pour calculer l'impôt sur le revenu des contribuables français.
  • 160
  • GNU General Public License v3.0 only

lablqml

Interfacer Qt/QML avec OCaml. Anciennement connu sous le nom de lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

outil de création d'appliances supermin (anciennement appelé febootstrap). VEUILLEZ NE PAS UTILISER GITHUB POUR LES PROBLÈMES OU LES PULL REQUESTS. Consultez le site Web pour savoir comment signaler un bogue ou contactez-nous. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Liaisons OCaml pour Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Programmation parallèle sur des domaines.
  • 144
  • ISC

sexplib

Conversion automatisée de l'expression S.
  • 141
  • MIT

postgresql-ocaml

Liaisons OCaml pour la base de données PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

liaisons js_of_ocaml pour ReactJS. Basé sur ReasonReact..
  • 136
  • MIT

preface

Preface est une bibliothèque opiniâtre conçue pour faciliter la gestion des idiomes de programmation fonctionnels récurrents en OCaml.
  • 132
  • MIT

reagents

Réactifs pour OCaml multicœur.
  • 126
  • ISC

opam-monorepo

Assemblez dune workspaces pour construire votre projet et ses dépendances dans son ensemble.
  • 126
  • ISC

ocurrent

Maintient les choses à jour (un pipeline CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Un timer split speedrun inspiré de Livesplit pour le terminal Linux/macOS. Prend en charge les raccourcis clavier globaux. (par alexozer).
  • 124
  • MIT

stanc3

Le transpileur Stan (de Stan à C++ et au-delà)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Zéro connard de merde.
  • 116
  • Mozilla Public License 2.0

lua-ml

Un interpréteur Lua 2.5 intégrable implémenté en OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Jolis parseurs en OCaml sans le passe-partout.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground avec Se(xp)rialisation des structures internes.
  • 114
  • GNU General Public License v3.0

streaming

Abstractions de streaming rapides, sûres et composables. (par odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Liaisons OCaml à la base de données SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Type de données abstrait d'itérateur simple, destiné à itérer efficacement sur les collections tout en effectuant certaines transformations. (par c-cube).
  • 102
  • BSD 2-clause "Simplified"