Perpustakaan yang ditulis dalam OCaml

smart-contracts

Pustaka kontrak pintar (oleh oxheadalpha).
  • 100
  • MIT

coq-lsp

Ekstensi Kode Visual Studio dan Protokol Server Bahasa untuk Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

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

ocaml-asp

Aljabar, penguraian bertahap untuk OCaml: diketik, komposisi, dan lebih cepat dari yacc.
  • 87
  • MIT

camlboot

Eksperimen tentang cara mem-bootstrap kompiler OCaml.
  • 84
  • MIT

yocaml

YOCaml adalah generator situs statis, sebagian besar ditulis dalam OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 dan 3: antarmuka ke GIMP Tool Kit.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Pembuatan fungsi konversi ekspresi-S dari definisi tipe.
  • 76
  • MIT

silk

Bahasa Pemrograman Sutra (oleh AjayMT).
  • 75
  • MIT

weidu

WeiDU adalah program yang digunakan untuk mengembangkan, mendistribusikan, dan menginstal modifikasi game berdasarkan Infinity Engine..
  • 71
  • GNU General Public License v3.0 only

ocamlot

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

flambda-backend

Proyek backend Flambda untuk OCaml.
  • 61

cuite

(cermin) Binding OCaml ke Qt toolkit..
  • 58
  • MIT

tornado

Tornado adalah klien BitTorrent yang seluruhnya ditulis dalam OCaml. (oleh fraidev).
  • 57
  • MIT

kalandralang

Bahasa pemrograman untuk resep kerajinan Path of Exile..
  • 54
  • MIT

miragevpn

Implementasi yang beropini dari protokol OpenVPN.
  • 53

virt-v2v

Virt-v2v mengonversi tamu dari hypervisor asing untuk dijalankan di KVM.
  • 51
  • GNU General Public License v3.0 only

ego

EGraphs di OCaml (oleh ayat-lab).
  • 51
  • GNU General Public License v3.0 only

ocaml-matrix

Implementasi server matriks di OCaml untuk MirageOS.
  • 49
  • ISC

unikernels

Kernel unik MirageOS (oleh roburio).
  • 49

prometheus

Pustaka OCaml untuk melaporkan metrik ke server Prometheus (melalui fatamorgana).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

pustaka gRPC untuk OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

S-ekspresi pisau swiss.
  • 41
  • MIT

obuilder

Alternatif "docker build" eksperimental menggunakan snapshot btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Pengeditan Terverifikasi, Inkremental, Biner dengan Sintesis.
  • 39
  • MIT

otoml

TOML parsing, manipulasi, dan pustaka pencetakan cantik untuk OCaml (sepenuhnya sesuai dengan 1.0.0).
  • 39
  • MIT

illuaminate

Analisis statis yang sangat WIP untuk Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Solusi saya untuk AoC 2017, menggunakan Nim, OCaml, dan Python (oleh narimiran).
  • 38
  • MIT

bondi

kode sumber untuk bahasa pemrograman bondi.
  • 38
  • MIT