OCamlben írt könyvtárak

smart-contracts

Intelligens szerződések könyvtára (az oxheadalpha által).
  • 100
  • MIT

coq-lsp

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

capnp-rpc

Cap'n Proto RPC megvalósítás.
  • 89
  • GNU General Public License v3.0

ocaml-asp

Algebrai, fokozatos elemzés az OCaml számára: gépelt, kompozíciós és gyorsabb, mint a yacc.
  • 87
  • MIT

camlboot

Kísérletezzen az OCaml fordító rendszerindítási módját.
  • 84
  • MIT

yocaml

A YOCaml egy statikus oldalgenerátor, többnyire OCaml nyelven íródott.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 és 3: interfész a GIMP Tool Kithez.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

S-kifejezés konverziós függvények generálása típusdefiníciókból.
  • 76
  • MIT

silk

A Silk programozási nyelv (AjayMT).
  • 75
  • MIT

weidu

A WeiDU egy program, amelyet az Infinity Engine alapú játékok fejlesztésére, terjesztésére és telepítésére használnak.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Egy Activitypub szerver az OCaml-ben!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Az OCaml Flambda háttérprojektje.
  • 61

cuite

(tükör) OCaml kötések a Qt eszközkészlethez..
  • 58
  • MIT

tornado

A Tornado egy BitTorrent kliens, amely teljes egészében OCaml nyelven íródott. (Fraidev által).
  • 57
  • MIT

kalandralang

Programozási nyelv a Path of Exile receptek elkészítéséhez.
  • 54
  • MIT

miragevpn

Az OpenVPN protokoll véleményezett megvalósítása.
  • 53

virt-v2v

A Virt-v2v a külföldi hipervizorokból érkező vendégeket KVM-en való futtatásra alakítja át.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs OCaml-ben (vers-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Mátrixszerver megvalósítása az OCaml-ben MirageOS-hez.
  • 49
  • ISC

unikernels

MirageOS unikernelek (a roburio által).
  • 49

prometheus

OCaml könyvtár a metrikák jelentésére a Prometheus szervernek (mirage által).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

gRPC könyvtár az OCaml számára.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

S-kifejezésű svájci kés.
  • 41
  • MIT

obuilder

Kísérleti „docker build” alternatíva btrfs/zfs pillanatképek használatával.
  • 40
  • Apache License 2.0

VIBES

Ellenőrzött, növekményes, bináris szerkesztés szintézissel.
  • 39
  • MIT

otoml

TOML elemzés, manipuláció és szép nyomtatási könyvtár az OCaml számára (teljesen 1.0.0-kompatibilis).
  • 39
  • MIT

illuaminate

Nagyon WIP statikus elemzés a Lua számára.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Megoldásaim az AoC 2017-hez Nim, OCaml és Python használatával (narimiran).
  • 38
  • MIT

bondi

a bondi programozási nyelv forráskódja.
  • 38
  • MIT