Knihovny napsané v OCamlu

smart-contracts

Knihovna chytrých kontraktů (od oxheadalpha).
  • 100
  • MIT

coq-lsp

Visual Studio Code Extension a Language Server Protocol pro Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

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

ocaml-asp

Algebraická, fázová analýza pro OCaml: typovaná, kompoziční a rychlejší než yacc.
  • 87
  • MIT

camlboot

Experimentujte s tím, jak zavést kompilátor OCaml.
  • 84
  • MIT

yocaml

YOCaml je generátor statických stránek, většinou napsaný v OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 a 3: rozhraní k sadě nástrojů GIMP.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Generování konverzních funkcí S-výrazů z definic typů.
  • 76
  • MIT

silk

The Silk Programming Language (od AjayMT).
  • 75
  • MIT

weidu

WeiDU je program používaný k vývoji, distribuci a instalaci modifikací pro hry založené na Infinity Engine.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Server Activitypub v OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Backendový projekt Flambda pro OCaml.
  • 61

cuite

(zrcadlení) Vazby OCaml na sadu nástrojů Qt..
  • 58
  • MIT

tornado

Tornado je BitTorrent klient napsaný výhradně v OCaml. (od fraideva).
  • 57
  • MIT

kalandralang

Programovací jazyk pro vytváření receptů na Path of Exile.
  • 54
  • MIT

miragevpn

Názorná implementace protokolu OpenVPN.
  • 53

virt-v2v

Virt-v2v převádí hosty ze zahraničních hypervizorů na provoz na KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGrafy v OCaml (podle verse-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Implementace maticového serveru v OCaml pro MirageOS.
  • 49
  • ISC

unikernels

Unikernels MirageOS (od roburio).
  • 49

prometheus

Knihovna OCaml pro hlášení metrik na server Prometheus (pomocí přeludu).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

Knihovna gRPC pro OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

S-expression švýcarský nůž.
  • 41
  • MIT

obuilder

Experimentální alternativa "docker build" pomocí snímků btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Verified, Incremental, Binary Editing with Synthesis.
  • 39
  • MIT

otoml

Knihovna pro analýzu, manipulaci a pěkný tisk TOML pro OCaml (plně kompatibilní s 1.0.0).
  • 39
  • MIT

illuaminate

Velmi WIP statická analýza pro Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Moje řešení pro AoC 2017 pomocí Nim, OCaml a Python (od narimiran).
  • 38
  • MIT

bondi

zdrojový kód pro programovací jazyk bondi.
  • 38
  • MIT