Librerie scritte in OCaml

flow

Aggiunge la tipizzazione statica a JavaScript per migliorare la produttività degli sviluppatori e la qualità del codice.
  • 22.0k
  • MIT

infer

Un analizzatore statico per Java, C, C++ e Objective-C.
  • 14.2k
  • MIT

reason

Codice semplice, veloce e sicuro per i tipi che sfrutta gli ecosistemi JavaScript e OCaml.
  • 9.9k
  • MIT

semgrep

Analisi statica leggera per molte lingue. Trova varianti di bug con pattern che assomigliano al codice sorgente..
  • 8.5k
  • GNU Lesser General Public License v3.0 only

pyre-check

Controllo del tipo performante per Python..
  • 6.4k
  • MIT

rescript-compiler

Il compilatore per ReScript...
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

File system FUSE su Google Drive.
  • 5.1k
  • MIT

ocaml

Il sistema centrale di OCaml: compilatori, sistema di runtime, librerie di base.
  • 4.6k
  • GNU General Public License v3.0

coq

Coq è un sistema di gestione delle prove formali. Fornisce un linguaggio formale per scrivere definizioni matematiche, algoritmi eseguibili e teoremi insieme a un ambiente per lo sviluppo semi-interattivo di dimostrazioni verificate a macchina.
  • 4.3k
  • GNU Lesser General Public License v3.0 only

Batsh

Un linguaggio che compila in Bash e Windows Batch.
  • 4.2k

magic-trace

magic-trace raccoglie e visualizza tracce ad alta risoluzione di ciò che sta facendo un processo.
  • 4.1k
  • MIT

unison

Sincronizzatore di file Unison (di bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Strumenti per l'analisi del codice, le visualizzazioni o la trasformazione della sorgente che preserva lo stile.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS è un sistema operativo di libreria che costruisce unikernel.
  • 2.2k
  • ISC

comby

Uno strumento di riscrittura del codice per la ricerca e la sostituzione strutturale che supporta ~ogni ​​lingua...
  • 2.1k
  • Apache License 2.0

bap

Piattaforma di analisi binaria.
  • 1.9k
  • MIT

mina

Mina è una nuova criptovaluta con una blockchain di dimensioni costanti, che migliora il ridimensionamento pur mantenendo il decentramento e la sicurezza. (di MinaProtocol).
  • 1.8k
  • Apache License 2.0

bincat

Analizzatore statico di codice binario, con integrazione IDA. Esegue l'analisi del valore e della contaminazione, la ricostruzione del tipo, il rilevamento use-after-free e double-free.
  • 1.5k

merlin

Completamento sensibile al contesto per OCaml in Vim ed Emacs.
  • 1.5k
  • MIT

dune

Un sistema di compilazione componibile per OCaml..
  • 1.4k
  • MIT

plzoo

Linguaggi di programmazione Zoo.
  • 1.3k
  • MIT

dream

Framework Web ordinato e completo di funzionalità.
  • 1.2k
  • MIT

opam

opam è un gestore di pacchetti basato sul codice sorgente. Supporta più installazioni simultanee di compilatori, vincoli di pacchetti flessibili e un flusso di lavoro di sviluppo compatibile con Git.
  • 1.1k
  • GNU General Public License v3.0

book

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

owl

Gufo - OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Un sistema di composizione tipografica statico e funzionale.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Un toolkit per incorporare funzionalità VPN nella tua applicazione.
  • 1.0k
  • Apache License 2.0

catala

Linguaggio di programmazione per la specifica della legge di programmazione letterata.
  • 995
  • Apache License 2.0

caramel

:candy: un linguaggio funzionale per la creazione di applicazioni indipendenti dai tipi, scalabili e gestibili.
  • 995
  • Apache License 2.0

js_of_ocaml

Compilatore da OCaml a Javascript..
  • 853
  • GNU General Public License v3.0