Bibliothèques écrites en OCaml
flow
Ajoute le typage statique à JavaScript pour améliorer la productivité des développeurs et la qualité du code.
- 22.0k
- MIT
semgrep
Analyse statique légère pour de nombreuses langues. Trouvez des variantes de bogue avec des modèles qui ressemblent au code source.
- 8.5k
- GNU Lesser General Public License v3.0 only

ocaml
Le noyau du système OCaml: compilateurs, système d'exécution, bibliothèques de base.
- 4.6k
- GNU General Public License v3.0
coq
Coq est un système formel de gestion de preuves. Il fournit un langage formel pour écrire des définitions mathématiques, des algorithmes exécutables et des théorèmes ainsi qu'un environnement pour le développement semi-interactif de preuves vérifiées par machine.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace collecte et affiche des traces haute résolution de ce que fait un processus.
- 4.1k
- MIT

pfff
Outils pour l'analyse de code, les visualisations ou la transformation de source en préservant le style.
- 2.4k
- GNU General Public License v3.0
mirage
MirageOS est un système d'exploitation de bibliothèque qui construit des unikernels.
- 2.2k
- ISC
comby
Un outil de réécriture de code pour la recherche structurelle et le remplacement qui prend en charge ~ toutes les langues.
- 2.1k
- Apache License 2.0
mina
Mina est une nouvelle crypto-monnaie avec une blockchain de taille constante, améliorant la mise à l'échelle tout en maintenant la décentralisation et la sécurité. (par MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Analyseur statique de code binaire, avec intégration IDA. Effectue une analyse de valeur et d'altération, une reconstruction de type, une détection d'utilisation après libération et de libération double.
- 1.5k


opam
opam est un gestionnaire de paquets basé sur les sources. Il prend en charge plusieurs installations de compilateur simultanées, des contraintes de package flexibles et un workflow de développement compatible avec Git.
- 1.1k
- GNU General Public License v3.0

SATySFi
Un système de composition fonctionnel typé statiquement.
- 1.1k
- GNU Lesser General Public License v3.0 only
vpnkit
Une boîte à outils pour intégrer des fonctionnalités VPN dans votre application.
- 1.0k
- Apache License 2.0
catala
Langage de programmation pour la spécification de lois de programmation littéraires.
- 995
- Apache License 2.0
caramel
:candy: un langage fonctionnel pour créer des applications sécurisées, évolutives et maintenables.
- 995
- Apache License 2.0