Biblioteki napisane w OCaml

smart-contracts

Biblioteka inteligentnych kontraktów (autor: oxheadalpha).
  • 100
  • MIT

coq-lsp

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

capnp-rpc

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

ocaml-asp

Algebraiczne, etapowe parsowanie dla OCaml: typowane, kompozycyjne i szybsze niż yacc.
  • 87
  • MIT

camlboot

Eksperymentuj, jak załadować kompilator OCaml.
  • 84
  • MIT

yocaml

YOCaml to statyczny generator stron, napisany głównie w OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 i 3: interfejs do zestawu narzędzi GIMP.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Generowanie funkcji konwersji S-wyrażeń z definicji typów.
  • 76
  • MIT

silk

Jedwabny język programowania (autor: AjayMT).
  • 75
  • MIT

weidu

WeiDU to program służący do tworzenia, dystrybucji i instalowania modyfikacji do gier opartych na Infinity Engine.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Serwer Activitypub w OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Projekt zaplecza Flambda dla OCaml.
  • 61

cuite

(lustrzane) powiązania OCamla z zestawem narzędzi Qt..
  • 58
  • MIT

tornado

Tornado to klient sieci BitTorrent napisany w całości w OCaml. (przez fraideva).
  • 57
  • MIT

kalandralang

Język programowania dla receptur rzemieślniczych Path of Exile.
  • 54
  • MIT

miragevpn

Opiniowana implementacja protokołu OpenVPN.
  • 53

virt-v2v

Virt-v2v konwertuje gości z zagranicznych hypervisorów na KVM.
  • 51
  • GNU General Public License v3.0 only

ego

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

ocaml-matrix

Implementacja serwera macierzowego w OCaml dla MirageOS.
  • 49
  • ISC

unikernels

Unikernel MirageOS (autorstwa roburio).
  • 49

prometheus

Biblioteka OCaml do raportowania metryk do serwera Prometheus (przez mirage).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

Biblioteka gRPC dla OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

Szwajcarski nóż w kształcie litery S.
  • 41
  • MIT

obuilder

Eksperymentalna alternatywa „docker build” wykorzystująca migawki btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Zweryfikowana, przyrostowa edycja binarna z syntezą.
  • 39
  • MIT

otoml

Biblioteka analizowania, manipulacji i ładnego drukowania TOML dla OCaml (w pełni zgodna z wersją 1.0.0).
  • 39
  • MIT

illuaminate

Bardzo statyczna analiza WIP dla Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Moje rozwiązania dla AoC 2017, używając Nim, OCaml i Python (autor: narimiran).
  • 38
  • MIT

bondi

kod źródłowy języka programowania bondi.
  • 38
  • MIT