Biblioteke napisane u OCamlu
flow
Dodaje statično tipkanje u JavaScript za poboljšanje produktivnosti programera i kvalitete koda..
- 22.0k
- MIT
semgrep
Lagana statička analiza za mnoge jezike. Pronađite varijante bugova s uzorcima koji izgledaju kao izvorni kod..
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Osnovni OCaml sustav: kompajleri, runtime sustav, osnovne biblioteke.
- 4.6k
- GNU General Public License v3.0
coq
Coq je formalni sustav upravljanja dokazima. Omogućuje formalni jezik za pisanje matematičkih definicija, izvršnih algoritama i teorema zajedno s okruženjem za poluinteraktivni razvoj strojno provjerenih dokaza.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace prikuplja i prikazuje tragove visoke rezolucije onoga što proces radi.
- 4.1k
- MIT
pfff
Alati za analizu koda, vizualizacije ili transformaciju izvora koja čuva stil..
- 2.4k
- GNU General Public License v3.0
comby
Alat za prepisivanje koda za strukturno pretraživanje i zamjenu koji podržava ~svaki jezik..
- 2.1k
- Apache License 2.0
mina
Mina je nova kriptovaluta s blockchainom konstantne veličine, poboljšava skaliranje uz održavanje decentralizacije i sigurnosti. (prema MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Statički analizator binarnog koda, s IDA integracijom. Obavlja analizu vrijednosti i kvarova, rekonstrukciju tipa, detekciju upotrebe nakon upotrebe i dvostruku detekciju.
- 1.5k
opam
opam je upravitelj paketa temeljen na izvornom jeziku. Podržava višestruke istodobne instalacije prevoditelja, fleksibilna ograničenja paketa i tijek rada prilagođen Gitu.
- 1.1k
- GNU General Public License v3.0
SATySFi
Statički tipizirani funkcionalni sustav slaganja.
- 1.1k
- GNU Lesser General Public License v3.0 only
caramel
:candy: funkcionalni jezik za izgradnju aplikacija sigurnih za tip, skalabilnih i održivih.
- 995
- Apache License 2.0