Bibliothèques écrites en OCaml
genType
Génération automatique de liaisons idiomatiques entre Reason et JavaScript: vanille ou typé avec TypeScript/FlowType.
- 756
- MIT
austral
Langage système avec types linéaires et sécurité basée sur les capacités.
- 735
- Apache License 2.0
ocaml-cohttp
Une bibliothèque OCaml pour les clients et serveurs HTTP utilisant Lwt ou Async.
- 636
- GNU General Public License v3.0
angstrom
Combinateurs d'analyseur conçus pour la vitesse et l'efficacité de la mémoire.
- 562
- GNU General Public License v3.0
httpaf
Un serveur Web hautes performances, économe en mémoire et évolutif écrit en OCaml.
- 525
- GNU General Public License v3.0
bolt
Bolt est un langage avec une liberté de course aux données intégrée! (par mukul-rathi).
- 445
- MIT
ocaml-containers
Une extension de bibliothèque standard légère et modulaire, une bibliothèque de chaînes et des interfaces vers diverses bibliothèques (unix, threads, etc.) Licence BSD.
- 445
- BSD 2-clause "Simplified"
vult
Vult est un transcompilateur bien adapté pour écrire du code DSP hautes performances.
- 432
- GNU General Public License v3.0
eioio
E/S de style direct basées sur les effets pour OCaml multicœur.
- 424
- GNU General Public License v3.0
motoko
Langage de haut niveau simple pour l'écriture de cartouches d'ordinateurs Internet.
- 412
- Apache License 2.0
effects-examples
Exemples pour illustrer l'utilisation des effets algébriques dans Multicore OCaml.
- 364
- ISC
karamel
KaRaMeL est un outil permettant d'extraire des programmes F* de bas niveau en code C lisible.
- 360
- Apache License 2.0
incr_dom
Une bibliothèque pour créer des applications Web dynamiques, en utilisant Js_of_ocaml..
- 357
- MIT