Bibliothèques écrites en OCaml
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.
- 3.8k
- 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.
- 3.7k
- 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.
- 1.9k
- ISC
comby
Un outil de recherche et de remplacement de code structurel qui prend en charge ~ toutes les langues.
- 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.3k

datakit
Connectez les processus dans de puissants pipelines de données avec une simple interface de système de fichiers de type git.
- 1.0k
- Apache License 2.0

SATySFi
Un système de composition fonctionnel typé statiquement.
- 957
- GNU Lesser General Public License v3.0 only
vpnkit
Une boîte à outils pour intégrer des fonctionnalités VPN dans votre application.
- 917
- Apache License 2.0
catala
Langage de programmation pour la spécification de lois de programmation littéraires.
- 834
- Apache License 2.0