Knjižnice, napisane v OCamlu
flow
JavaScriptu doda statično tipkanje za izboljšanje produktivnosti razvijalcev in kakovosti kode..
- 22.0k
- MIT
semgrep
Lahka statična analiza za številne jezike. Poiščite različice napak z vzorci, ki so videti kot izvorna koda.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Jedro sistema OCaml: prevajalniki, izvajalni sistem, osnovne knjižnice.
- 4.6k
- GNU General Public License v3.0
coq
Coq je uradni sistem za upravljanje dokazov. Zagotavlja formalni jezik za pisanje matematičnih definicij, izvedljivih algoritmov in izrekov skupaj z okoljem za polinteraktiven razvoj strojno preverjenih dokazov.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace zbira in prikazuje sledi visoke ločljivosti o tem, kaj proces počne.
- 4.1k
- MIT
pfff
Orodja za analizo kode, vizualizacije ali pretvorbo vira, ki ohranja slog.
- 2.4k
- GNU General Public License v3.0
comby
Orodje za prepis kode za strukturno iskanje in zamenjavo, ki podpira ~vsak jezik..
- 2.1k
- Apache License 2.0
mina
Mina je nova kriptovaluta z blokovno verigo konstantne velikosti, ki izboljšuje skaliranje, hkrati pa ohranja decentralizacijo in varnost. (avtor MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Statični analizator binarne kode z integracijo IDA. Izvaja analizo vrednosti in madežev, rekonstrukcijo tipa, zaznavanje brez uporabe po uporabi in dvojno brez.
- 1.5k
opam
opam je upravljalnik paketov, ki temelji na viru. Podpira več hkratnih namestitev prevajalnika, prilagodljive omejitve paketov in Gitu prijazen delovni tok razvoja.
- 1.1k
- GNU General Public License v3.0
SATySFi
Statično tipiziran, funkcionalen sistem stavljenja.
- 1.1k
- GNU Lesser General Public License v3.0 only
caramel
:candy: funkcionalen jezik za izdelavo tipsko varnih, razširljivih in vzdržljivih aplikacij.
- 995
- Apache License 2.0