Bibliothèques écrites en OCaml
CombinatorC
Un langage de programmation de style C pour exprimer des circuits Factorio pratiques qui se compilent en plans de combinateur Factorio.
- 35
- GNU General Public License v3.0 only
RustScript2
RustScript est un langage de script fonctionnel avec autant de relation avec Rust que Javascript avec Java.
- 32
- GNU General Public License v3.0
dream-html
Générez un balisage HTML à partir de votre serveur backend OCaml Dream.
- 29
- GNU General Public License v3.0 only
why3
Référentiel SPARK 2014 pour la plateforme de vérification Why3. (par AdaCore).
- 26
- GNU General Public License v3.0
stramon
Utilitaire et bibliothèque de surveillance du comportement des processus basés sur strace.
- 24
- MIT
ocaml-decimal
Décimales à virgule flottante de précision arbitraire.
- 22
- GNU General Public License v3.0
schmu
Un langage de programmation WIP inspiré de ML et propulsé par LLVM.
- 20
- GNU General Public License v3.0 only
opam-tools
plugin opam pour initialiser un environnement de développement local pour un projet OCaml.
- 20
- ISC
wyrd
Améliorations apportées à Wyrd curses front-end pour Remind. Maintenant déplacé vers GitLab. (par haguenau).
- 18
- GNU General Public License v3.0 only
template-ocaml
Un modèle pour OCaml, configuré pour Gitpod (www.gitpod.io) pour vous offrir des environnements de développement éphémères pré-construits dans le cloud.
- 16
- MIT
ramen
Un langage de traitement de flux et un compilateur pour la surveillance à petite échelle (par rixed).
- 15
- GNU General Public License v3.0
ocaml-mssql
Une bibliothèque client OCaml SQL Server de haut niveau utilisant FreeTDS.
- 12
- Apache License 2.0