Bibliothèques écrites en OCaml

flow

Ajoute le typage statique à JavaScript pour améliorer la productivité des développeurs et la qualité du code.

infer

Un analyseur statique pour Java, C, C++ et Objective-C.

reason

Code simple, rapide et sécurisé qui exploite les écosystèmes JavaScript et OCaml.

semgrep

Analyse statique légère pour de nombreuses langues. Trouvez des variantes de bogue avec des modèles qui ressemblent au code source.

pyre-check

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

rescript-compiler

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

google-drive-ocamlfuse

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

Batsh

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

ocaml

  • 3.9k
  • 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.
  • 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

unison

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

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

bap

Plate-forme d'analyse binaire.
  • 1.6k
  • 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).

merlin

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

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

dune

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

plzoo

Zoo des langages de programmation.
  • 1.2k
  • MIT

owl

Hibou - Calcul scientifique OCaml @ http://ocaml.xyz.
  • 1.0k
  • 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.

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

caramel

  • 953
  • Apache License 2.0

book

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

vpnkit

Une boîte à outils pour intégrer des fonctionnalités VPN dans votre application.
  • 917
  • Apache License 2.0

dream

Framework Web bien rangé et complet.

catala

Langage de programmation pour la spécification de lois de programmation littéraires.
  • 834
  • Apache License 2.0