In OCaml geschriebene Bibliotheken

flow

Fügt JavaScript statische Typisierung hinzu, um die Entwicklerproduktivität und Codequalität zu verbessern.
  • 22.0k
  • MIT

infer

Ein statischer Analysator für Java, C, C++ und Objective-C.
  • 14.2k
  • 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

pyre-check

Performante Typprüfung für Python.
  • 6.4k
  • MIT

rescript-compiler

Der Compiler für ReScript.
  • 6.2k
  • GNU General Public License v3.0

google-drive-ocamlfuse

FUSE-Dateisystem über Google Drive.
  • 5.1k
  • MIT

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

Batsh

Eine Sprache, die zu Bash und Windows Batch kompiliert werden kann.
  • 4.2k

magic-trace

magic-trace sammelt und zeigt hochauflösende Spuren dessen, was ein Prozess tut.
  • 4.1k
  • MIT

unison

Unison-Dateisynchronisierer (von bcpierce00).
  • 3.1k
  • GNU General Public License v3.0 only

pfff

Tools für Code-Analyse, Visualisierungen oder stilerhaltende Quelltransformation.
  • 2.4k
  • GNU General Public License v3.0

mirage

MirageOS ist ein Bibliotheksbetriebssystem, das Unikernels erstellt.
  • 2.2k
  • ISC

comby

Ein Code-Rewrite-Tool für strukturelles Suchen und Ersetzen, das ~jede Sprache unterstützt.
  • 2.1k
  • Apache License 2.0

bap

Binäre Analyseplattform.
  • 1.9k
  • MIT

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

merlin

Kontextsensitive Vervollständigung für OCaml in Vim und Emacs.
  • 1.5k
  • MIT

dune

Ein zusammensetzbares Build-System für OCaml.
  • 1.4k
  • MIT

plzoo

Programmiersprachen-Zoo.
  • 1.3k
  • MIT

dream

Ordentliches, funktionsreiches Web-Framework.
  • 1.2k
  • MIT

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

book

V2 von Real World OCaml (von realworldocaml).
  • 1.1k
  • GNU General Public License v3.0

owl

Owl – OCaml Scientific Computing @ http://ocaml.xyz.
  • 1.1k
  • MIT

SATySFi

Ein statisch typisiertes, funktionales Satzsystem.
  • 1.1k
  • GNU Lesser General Public License v3.0 only

vpnkit

Ein Toolkit zum Einbetten von VPN-Funktionen in Ihre Anwendung.
  • 1.0k
  • Apache License 2.0

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

js_of_ocaml

Compiler von OCaml nach Javascript.
  • 853
  • GNU General Public License v3.0