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
ocaml5-tutorial
Un tutoriel pratique sur les nouvelles fonctionnalités de parallélisme dans OCaml 5.
- 182
- MIT
C11parser
Un analyseur correct C89/C90/C99/C11/C18 écrit en utilisant Menhir et OCaml.
- 174
- GNU General Public License v3.0
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
postgresql-ocaml
Liaisons OCaml pour la base de données PostgreSQL.
- 138
- GNU General Public License v3.0
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
opam-monorepo
Assemblez dune workspaces pour construire votre projet et ses dépendances dans son ensemble.
- 126
- ISC
flitter
Un timer split speedrun inspiré de Livesplit pour le terminal Linux/macOS. Prend en charge les raccourcis clavier globaux. (par alexozer).
- 124
- MIT
coq-serapi
Coq Protocol Playground avec Se(xp)rialisation des structures internes.
- 114
- 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"