Librerie scritte in OCaml

smart-contracts

Una libreria di contratti intelligenti (di oxheadalpha).
  • 100
  • MIT

coq-lsp

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

capnp-rpc

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

ocaml-asp

Analisi algebrica a fasi per OCaml: digitata, composizionale e più veloce di yacc.
  • 87
  • MIT

camlboot

Sperimenta come eseguire il bootstrap del compilatore OCaml.
  • 84
  • MIT

yocaml

  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 e 3: un'interfaccia per GIMP Tool Kit.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Generazione di funzioni di conversione di espressioni S da definizioni di tipo.
  • 76
  • MIT

silk

Il linguaggio di programmazione della seta (di AjayMT).
  • 75
  • MIT

weidu

WeiDU è un programma utilizzato per sviluppare, distribuire e installare modifiche per giochi basati su Infinity Engine..
  • 71
  • GNU General Public License v3.0 only

ocamlot

Un server Activitypub in OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

Il progetto di backend Flambda per OCaml.
  • 61

cuite

(mirror) collegamenti OCaml al toolkit Qt..
  • 58
  • MIT

tornado

Tornado è un client BitTorrent scritto interamente in OCaml. (di fraidev).
  • 57
  • MIT

kalandralang

Un linguaggio di programmazione per le ricette di Path of Exile...
  • 54
  • MIT

miragevpn

Un'implementazione supponente del protocollo OpenVPN.
  • 53

virt-v2v

Virt-v2v converte gli ospiti da hypervisor stranieri per l'esecuzione su KVM.
  • 51
  • GNU General Public License v3.0 only

ego

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

ocaml-matrix

Implementazione di un server a matrice in OCaml per MirageOS.
  • 49
  • ISC

unikernels

Unikernel MirageOS (di roburio).
  • 49

prometheus

Libreria OCaml per la segnalazione di metriche a un server Prometheus (tramite miraggio).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

libreria gRPC per OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

Coltello svizzero S-expression.
  • 41
  • MIT

obuilder

Alternativa sperimentale "docker build" utilizzando istantanee btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Modifica verificata, incrementale, binaria con sintesi.
  • 39
  • MIT

otoml

Libreria di analisi, manipolazione e pretty-printing TOML per OCaml (completamente conforme a 1.0.0).
  • 39
  • MIT

illuaminate

Analisi statica molto WIP per Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Le mie soluzioni per AoC 2017, utilizzando Nim, OCaml e Python (di narimiran).
  • 38
  • MIT

bondi

codice sorgente per il linguaggio di programmazione bondi.
  • 38
  • MIT