OCamlben írt könyvtárak
flow
Statikus gépelést ad a JavaScripthez a fejlesztői termelékenység és a kódminőség javítása érdekében.
- 22.0k
- MIT
reason
Egyszerű, gyors és gépelhető biztonságos kód, amely kihasználja a JavaScript és az OCaml ökoszisztémákat.
- 9.9k
- MIT
semgrep
Könnyű statikus elemzés számos nyelvhez. Keressen olyan hibaváltozatokat, amelyek mintázata hasonlít a forráskódra.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Az OCaml alaprendszere: fordítók, futásidejű rendszer, alapkönyvtárak.
- 4.6k
- GNU General Public License v3.0
coq
A Coq egy formális bizonyítékkezelési rendszer. Formális nyelvet biztosít matematikai definíciók, végrehajtható algoritmusok és tételek írásához, valamint egy környezetet a géppel ellenőrzött bizonyítások félig interaktív fejlesztéséhez.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
A magic-trace összegyűjti és nagy felbontású nyomokat jelenít meg egy folyamatról.
- 4.1k
- MIT
pfff
Eszközök kódelemzéshez, vizualizációkhoz vagy stílusmegőrző forrásátalakításhoz.
- 2.4k
- GNU General Public License v3.0
comby
Egy kód átíró eszköz a strukturális kereséshez és cseréhez, amely ~minden nyelvet támogat.
- 2.1k
- Apache License 2.0
mina
A Mina egy új kriptovaluta, állandó méretű blokklánccal, amely javítja a skálázást, miközben fenntartja a decentralizációt és a biztonságot. (a MinaProtocol szerint).
- 1.8k
- Apache License 2.0
bincat
Bináris kódú statikus elemző, IDA integrációval. Érték- és szennyeződés-elemzést, típus-rekonstrukciót, használat utáni használat nélküli és kettős mentes detektálást végez.
- 1.5k
opam
Az opam egy forrás alapú csomagkezelő. Támogatja a több egyidejű fordítótelepítést, a rugalmas csomagmegkötéseket és a Git-barát fejlesztési munkafolyamatot.
- 1.1k
- GNU General Public License v3.0
SATySFi
Statikusan tipizált, funkcionális szedőrendszer.
- 1.1k
- GNU Lesser General Public License v3.0 only
caramel
:candy: funkcionális nyelv típusbiztos, méretezhető és karbantartható alkalmazások létrehozásához.
- 995
- Apache License 2.0