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
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
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
magic-trace
magic-trace raccoglie e visualizza tracce ad alta risoluzione di ciò che sta facendo un processo.
- 4.1k
- MIT
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
comby
Uno strumento di riscrittura del codice per la ricerca e la sostituzione strutturale che supporta ~ogni lingua...
- 2.1k
- Apache License 2.0
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
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
SATySFi
Un sistema di composizione tipografica statico e funzionale.
- 1.1k
- GNU Lesser General Public License v3.0 only
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