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

infer

Un analyseur statique pour Java, C, C++ et Objective-C.
  • 14.2k
  • MIT

reason

Code simple, rapide et sécurisé qui exploite les écosystèmes JavaScript et OCaml.
  • 9.9k
  • 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

pyre-check

Vérification de type performante pour python..
  • 6.4k
  • MIT

rescript-compiler

Le compilateur pour ReScript..
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

Système de fichiers FUSE sur Google Drive.
  • 5.1k
  • MIT

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

Batsh

Un langage qui compile vers Bash et Windows Batch.
  • 4.2k

magic-trace

magic-trace collecte et affiche des traces haute résolution de ce que fait un processus.
  • 4.1k
  • MIT

unison

Synchroniseur de fichiers Unison (par bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

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

bap

Plate-forme d'analyse binaire.
  • 1.9k
  • MIT

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

merlin

Complétion sensible au contexte pour OCaml dans Vim et Emacs.
  • 1.5k
  • MIT

dune

Un système de construction composable pour OCaml..
  • 1.4k
  • MIT

plzoo

Zoo des langages de programmation.
  • 1.3k
  • MIT

dream

Framework Web bien rangé et complet.
  • 1.2k
  • MIT

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

book

V2 de Real World OCaml (par realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

Hibou - Calcul scientifique OCaml @ http://ocaml.xyz.
  • 1.1k
  • MIT

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

js_of_ocaml

Compilateur d'OCaml vers Javascript..
  • 853
  • GNU General Public License v3.0