Biblioteker skrevet i OCaml

smart-contracts

Et bibliotek af smarte kontrakter (af oxheadalpha).
  • 100
  • MIT

coq-lsp

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

capnp-rpc

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

ocaml-asp

Algebraisk, trinvis parsing for OCaml: skrevet, kompositorisk og hurtigere end yacc.
  • 87
  • MIT

camlboot

Eksperimenter med, hvordan man bootstrapper OCaml-kompileren.
  • 84
  • MIT

yocaml

YOCaml er en statisk webstedsgenerator, for det meste skrevet i OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 og 3: en grænseflade til GIMP Tool Kit.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Generering af S-udtrykskonverteringsfunktioner fra typedefinitioner.
  • 76
  • MIT

silk

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

weidu

WeiDU er et program, der bruges til at udvikle, distribuere og installere modifikationer til spil baseret på Infinity Engine.
  • 71
  • GNU General Public License v3.0 only

ocamlot

En Activitypub-server i OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Flambda-backend-projektet for OCaml.
  • 61

cuite

(spejl) OKaml-bindinger til Qt-værktøjssæt..
  • 58
  • MIT

tornado

Tornado er en BitTorrent-klient skrevet udelukkende i OCaml. (af fraidev).
  • 57
  • MIT

kalandralang

Et programmeringssprog til Path of Exile, der laver opskrifter..
  • 54
  • MIT

miragevpn

En meningsfuld implementering af OpenVPN-protokollen.
  • 53

virt-v2v

Virt-v2v konverterer gæster fra udenlandske hypervisorer til at køre på KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs i OKaml (ved verse-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Implementering af en matrixserver i OCaml til MirageOS.
  • 49
  • ISC

unikernels

MirageOS unikerne (af roburio).
  • 49

prometheus

OKaml-bibliotek til rapportering af metrics til en Prometheus-server (ved mirage).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

gRPC-bibliotek til OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

S-expression schweizisk kniv.
  • 41
  • MIT

obuilder

Eksperimentelt "docker build" alternativ ved hjælp af btrfs/zfs snapshots.
  • 40
  • Apache License 2.0

VIBES

Verificeret, inkrementel, binær redigering med syntese.
  • 39
  • MIT

otoml

TOML-parsing, manipulation og smukt udskrivningsbibliotek til OCaml (fuldt 1.0.0-kompatibelt).
  • 39
  • MIT

illuaminate

Meget WIP statisk analyse for Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Mine løsninger til AoC 2017 ved hjælp af Nim, OCaml og Python (af narimiran).
  • 38
  • MIT

bondi

kildekode til bondi-programmeringssproget.
  • 38
  • MIT