Bibliotek skrivna i OCaml
semgrep
Lättviktig statisk analys för många språk. Hitta buggvarianter med mönster som ser ut som källkod..
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
OCAml-systemets kärna: kompilatorer, runtime-system, basbibliotek.
- 4.6k
- GNU General Public License v3.0
coq
Coq är ett formellt bevishanteringssystem. Det tillhandahåller ett formellt språk för att skriva matematiska definitioner, körbara algoritmer och teorem tillsammans med en miljö för semi-interaktiv utveckling av maskinkontrollerade bevis.
- 4.3k
- GNU Lesser General Public License v3.0 only
comby
Ett verktyg för omskrivning av kod för strukturell sökning och ersättning som stöder ~alla språk.
- 2.1k
- Apache License 2.0
mina
Mina är en ny kryptovaluta med en blockchain med konstant storlek, som förbättrar skalningen samtidigt som decentralisering och säkerhet bibehålls. (genom MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Binär kod statisk analysator, med IDA-integration. Utför värde- och fläckanalys, typrekonstruktion, användning efter-fri och dubbelfri detektering.
- 1.5k
opam
opam är en källbaserad pakethanterare. Det stöder flera samtidiga kompilatorinstallationer, flexibla paketbegränsningar och ett Git-vänligt utvecklingsarbetsflöde.
- 1.1k
- GNU General Public License v3.0
SATySFi
Ett statiskt maskinskrivet, funktionellt sättningssystem.
- 1.1k
- GNU Lesser General Public License v3.0 only
caramel
:candy: ett funktionellt språk för att bygga typsäkra, skalbara och underhållbara applikationer.
- 995
- Apache License 2.0
