In OCaml geschriebene Bibliotheken
flow
Fügt JavaScript statische Typisierung hinzu, um die Entwicklerproduktivität und Codequalität zu verbessern.
- 22.0k
- MIT
reason
Einfacher, schneller und typsicherer Code, der die JavaScript- und OCaml-Ökosysteme nutzt.
- 9.9k
- MIT
semgrep
Leichte statische Analyse für viele Sprachen. Finden Sie Fehlervarianten mit Mustern, die wie Quellcode aussehen.
- 8.5k
- GNU Lesser General Public License v3.0 only
ocaml
Das OCaml-Kernsystem: Compiler, Laufzeitsystem, Basisbibliotheken.
- 4.6k
- GNU General Public License v3.0
coq
Coq ist ein formales Beweismanagementsystem. Es bietet eine formale Sprache zum Schreiben mathematischer Definitionen, ausführbarer Algorithmen und Theoreme sowie eine Umgebung für die semi-interaktive Entwicklung maschinengeprüfter Beweise.
- 4.3k
- GNU Lesser General Public License v3.0 only
magic-trace
magic-trace sammelt und zeigt hochauflösende Spuren dessen, was ein Prozess tut.
- 4.1k
- MIT
pfff
Tools für Code-Analyse, Visualisierungen oder stilerhaltende Quelltransformation.
- 2.4k
- GNU General Public License v3.0
comby
Ein Code-Rewrite-Tool für strukturelles Suchen und Ersetzen, das ~jede Sprache unterstützt.
- 2.1k
- Apache License 2.0
mina
Mina ist eine neue Kryptowährung mit einer Blockchain konstanter Größe, die die Skalierung verbessert und gleichzeitig Dezentralisierung und Sicherheit beibehält. (von MinaProtocol).
- 1.8k
- Apache License 2.0
bincat
Statischer Binärcode-Analysator mit IDA-Integration. Führt Wert- und Taint-Analyse, Typrekonstruktion, Use-After-Free- und Double-Free-Erkennung durch.
- 1.5k
opam
opam ist ein quellbasierter Paketmanager. Es unterstützt mehrere gleichzeitige Compiler-Installationen, flexible Paketeinschränkungen und einen Git-freundlichen Entwicklungsworkflow.
- 1.1k
- GNU General Public License v3.0
SATySFi
Ein statisch typisiertes, funktionales Satzsystem.
- 1.1k
- GNU Lesser General Public License v3.0 only
catala
Programmiersprache für die Spezifikation literarischer Programmiergesetze.
- 995
- Apache License 2.0
caramel
:candy: eine funktionale Sprache zum Erstellen typsicherer, skalierbarer und wartbarer Anwendungen.
- 995
- Apache License 2.0