Bibliotecas escritas en OCaml

smart-contracts

Una biblioteca de contratos inteligentes (por oxheadalpha).
  • 100
  • MIT

coq-lsp

Extensión de código de Visual Studio y protocolo de servidor de idiomas para Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

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

ocaml-asp

Análisis algebraico por etapas para OCaml: escrito, compositivo y más rápido que yacc.
  • 87
  • MIT

camlboot

Experimente sobre cómo arrancar el compilador OCaml.
  • 84
  • MIT

yocaml

YOCaml es un generador de sitios estáticos, escrito principalmente en OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 y 3: una interfaz para el kit de herramientas GIMP.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Generación de funciones de conversión de expresiones S a partir de definiciones de tipo.
  • 76
  • MIT

silk

El lenguaje de programación Silk (por AjayMT).
  • 75
  • MIT

weidu

WeiDU es un programa utilizado para desarrollar, distribuir e instalar modificaciones para juegos basados ​​en Infinity Engine.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Un servidor de Activitypub en OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

El proyecto backend de Flambda para OCaml.
  • 61

cuite

(espejo) Enlaces OCaml al kit de herramientas Qt..
  • 58
  • MIT

tornado

Tornado es un cliente de BitTorrent escrito íntegramente en OCaml. (por fraidev).
  • 57
  • MIT

kalandralang

Un lenguaje de programación para crear recetas de Path of Exile.
  • 54
  • MIT

miragevpn

Una implementación obstinada del protocolo OpenVPN.
  • 53

virt-v2v

Virt-v2v convierte a los invitados de hipervisores extranjeros para que se ejecuten en KVM.
  • 51
  • GNU General Public License v3.0 only

ego

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

ocaml-matrix

Implementación de un servidor matriz en OCaml para MirageOS.
  • 49
  • ISC

unikernels

Unikernels de MirageOS (por roburio).
  • 49

prometheus

Biblioteca OCaml para informar métricas a un servidor Prometheus (por mirage).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

Biblioteca gRPC para OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

Navaja suiza S-expression.
  • 41
  • MIT

obuilder

Alternativa experimental de "construcción de docker" usando instantáneas btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Edición verificada, incremental y binaria con síntesis.
  • 39
  • MIT

otoml

Biblioteca TOML de análisis, manipulación e impresión bonita para OCaml (totalmente compatible con 1.0.0).
  • 39
  • MIT

illuaminate

Análisis estático muy WIP para Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Mis soluciones para AoC 2017, usando Nim, OCaml y Python (por narimiran).
  • 38
  • MIT

bondi

código fuente del lenguaje de programación bondi.
  • 38
  • MIT