Biblioteker skrevet i OCaml
flow
Tilføjer statisk indtastning til JavaScript for at forbedre udviklerproduktiviteten og kodekvaliteten.
- 22.0k
- MIT
reason
Enkel, hurtig og skriv sikker kode, der udnytter JavaScript- og OCaml-økosystemerne.
- 9.9k
- MIT
semgrep
Letvægts statisk analyse for mange sprog. Find fejlvarianter med mønstre, der ligner kildekode..
- 8.5k
- GNU Lesser General Public License v3.0 only
![](/static/lib-default.png)
ocaml
Det centrale OCAml-system: compilere, runtime-system, basisbiblioteker.
- 4.6k
- GNU General Public License v3.0
coq
Coq er et formelt bevisstyringssystem. Det giver et formelt sprog til at skrive matematiske definitioner, eksekverbare algoritmer og teoremer sammen med et miljø til semi-interaktiv udvikling af maskinkontrollerede beviser.
- 4.3k
- GNU Lesser General Public License v3.0 only
![](/static/lib-default.png)
pfff
Værktøjer til kodeanalyse, visualiseringer eller stilbevarende kildetransformation.
- 2.4k
- GNU General Public License v3.0
comby
Et kodeomskrivningsværktøj til strukturel søgning og erstatning, der understøtter ~hvert sprog.
- 2.1k
- Apache License 2.0
mina
Mina er en ny kryptovaluta med en konstant størrelse blockchain, der forbedrer skalering, samtidig med at decentralisering og sikkerhed opretholdes. (af MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Binær kode statisk analysator, med IDA integration. Udfører værdi- og farveanalyse, typerekonstruktion, brug-efter-fri og dobbeltfri detektion.
- 1.5k
![](/static/lib-default.png)
![](/static/lib-default.png)
opam
opam er en kildebaseret pakkehåndtering. Det understøtter flere samtidige compilerinstallationer, fleksible pakkebegrænsninger og en Git-venlig udviklingsworkflow.
- 1.1k
- GNU General Public License v3.0
![](/static/lib-default.png)
SATySFi
Et statisk maskinskrevet, funktionelt sættesystem.
- 1.1k
- GNU Lesser General Public License v3.0 only
caramel
:candy: et funktionelt sprog til at bygge typesikre, skalerbare og vedligeholdelsesvenlige applikationer.
- 995
- Apache License 2.0