In OCaml geschriebene Bibliotheken

smart-contracts

Eine Bibliothek intelligenter Verträge (von oxheadalpha).
  • 100
  • MIT

coq-lsp

Visual Studio Code Extension und Language Server Protocol für Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

Cap'n Proto RPC-Implementierung.
  • 89
  • GNU General Public License v3.0

ocaml-asp

Algebraisches, stufenweises Parsen für OCaml: getippt, kompositorisch und schneller als Yacc.
  • 87
  • MIT

camlboot

Experimentieren Sie mit dem Bootstrap des OCaml-Compilers.
  • 84
  • MIT

yocaml

YOCaml ist ein statischer Site-Generator, der größtenteils in OCaml geschrieben ist.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 und 3: eine Schnittstelle zum GIMP Tool Kit.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Generierung von S-Ausdruck-Konvertierungsfunktionen aus Typdefinitionen.
  • 76
  • MIT

silk

Die Programmiersprache Silk (von AjayMT).
  • 75
  • MIT

weidu

WeiDU ist ein Programm zum Entwickeln, Verteilen und Installieren von Modifikationen für Spiele, die auf der Infinity Engine basieren.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Ein Activitypub-Server in OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Das Flambda-Backend-Projekt für OCaml.
  • 61

cuite

(Spiegel) OCaml-Bindungen an das Qt-Toolkit.
  • 58
  • MIT

tornado

Tornado ist ein vollständig in OCaml geschriebener BitTorrent-Client. (von fraidev).
  • 57
  • MIT

kalandralang

Eine Programmiersprache für Path of Exile-Handwerksrezepte.
  • 54
  • MIT

miragevpn

Eine eigenwillige Implementierung des OpenVPN-Protokolls.
  • 53

virt-v2v

Virt-v2v konvertiert Gäste von ausländischen Hypervisoren zur Ausführung auf KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs in OCaml (von verse-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Implementierung eines Matrixservers in OCaml für MirageOS.
  • 49
  • ISC

unikernels

MirageOS-Unikernels (von roburio).
  • 49

prometheus

OCaml-Bibliothek zum Melden von Metriken an einen Prometheus-Server (von Mirage).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

gRPC-Bibliothek für OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

S-Ausdruck Schweizer Messer.
  • 41
  • MIT

obuilder

Experimentelle „Docker-Build“-Alternative mit Btrfs/ZFS-Snapshots.
  • 40
  • Apache License 2.0

VIBES

Verifizierte, inkrementelle, binäre Bearbeitung mit Synthese.
  • 39
  • MIT

otoml

TOML-Parsing-, Manipulations- und Pretty-Printing-Bibliothek für OCaml (vollständig 1.0.0-kompatibel).
  • 39
  • MIT

illuaminate

Sehr in Bearbeitung befindliche statische Analyse für Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Meine Lösungen für AoC 2017 mit Nim, OCaml und Python (von Narimiran).
  • 38
  • MIT

bondi

Quellcode für die Programmiersprache Bondi.
  • 38
  • MIT