Knihovny napsané v OCamlu
flow
Přidává statické psaní do JavaScriptu pro zlepšení produktivity vývojářů a kvality kódu.
- 22.0k
- MIT
reason
Jednoduchý, rychlý a typově bezpečný kód, který využívá ekosystémy JavaScript a OCaml.
- 9.9k
- MIT
semgrep
Jednoduchá statická analýza pro mnoho jazyků. Najděte varianty chyb se vzory, které vypadají jako zdrojový kód.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Základní systém OCaml: kompilátory, runtime systém, základní knihovny.
- 4.6k
- GNU General Public License v3.0
coq
Coq je formální systém řízení důkazů. Poskytuje formální jazyk pro psaní matematických definic, spustitelných algoritmů a teorémů spolu s prostředím pro semi-interaktivní vývoj strojově kontrolovaných důkazů.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace shromažďuje a zobrazuje stopy toho, co proces dělá, ve vysokém rozlišení.
- 4.1k
- MIT
pfff
Nástroje pro analýzu kódu, vizualizace nebo transformaci zdroje zachovávající styl.
- 2.4k
- GNU General Public License v3.0
comby
Nástroj pro přepis kódu pro strukturální vyhledávání a nahrazování, který podporuje ~ každý jazyk.
- 2.1k
- Apache License 2.0
mina
Mina je nová kryptoměna s blockchainem konstantní velikosti, která zlepšuje škálování při zachování decentralizace a bezpečnosti. (od MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Statický analyzátor binárního kódu s integrací IDA. Provádí analýzu hodnot a znečištění, rekonstrukci typu, detekci bez použití po použití a bez použití dvojí.
- 1.5k
opam
opam je zdrojový správce balíčků. Podporuje několik simultánních instalací kompilátoru, flexibilní omezení balíčků a vývojový pracovní postup, který je přívětivý pro Git.
- 1.1k
- GNU General Public License v3.0
caramel
:candy: funkční jazyk pro vytváření typově bezpečných, škálovatelných a udržovatelných aplikací.
- 995
- Apache License 2.0
