Bibliotecas escritas em OCaml

smart-contracts

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

coq-lsp

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

capnp-rpc

Implementação Cap'n Proto RPC.
  • 89
  • GNU General Public License v3.0

ocaml-asp

Análise algébrica em etapas para OCaml: digitada, composicional e mais rápida que yacc.
  • 87
  • MIT

camlboot

Experimente como inicializar o compilador OCaml.
  • 84
  • MIT

yocaml

YOCaml é um gerador de site estático, principalmente escrito em OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 e 3: uma interface para o GIMP Tool Kit.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Geração de funções de conversão de expressão S a partir de definições de tipo.
  • 76
  • MIT

silk

A linguagem de programação Silk (por AjayMT).
  • 75
  • MIT

weidu

WeiDU é um programa usado para desenvolver, distribuir e instalar modificações para jogos baseados no Infinity Engine.
  • 71
  • GNU General Public License v3.0 only

ocamlot

Um servidor Activitypub em OCaml!.
  • 64
  • GNU Affero General Public License v3.0

flambda-backend

O projeto de back-end Flambda para OCaml.
  • 61

cuite

(espelho) Ligações OCaml ao kit de ferramentas Qt..
  • 58
  • MIT

tornado

Tornado é um cliente BitTorrent escrito inteiramente em OCaml. (por fraidev).
  • 57
  • MIT

kalandralang

Uma linguagem de programação para receitas de criação do Path of Exile.
  • 54
  • MIT

miragevpn

Uma implementação opinativa do protocolo OpenVPN.
  • 53

virt-v2v

Virt-v2v converte convidados de hipervisores estrangeiros para executar no KVM.
  • 51
  • GNU General Public License v3.0 only

ego

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

ocaml-matrix

Implementação de um servidor matriz em OCaml para MirageOS.
  • 49
  • ISC

unikernels

Unikernels MirageOS (por roburio).
  • 49

prometheus

Biblioteca OCaml para relatar métricas para um servidor Prometheus (por miragem).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

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

sexp

Canivete suíço S-expressão.
  • 41
  • MIT

obuilder

Alternativa experimental "docker build" usando instantâneos btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Edição Verificada, Incremental, Binária com Síntese.
  • 39
  • MIT

otoml

Biblioteca TOML de análise, manipulação e impressão bonita para OCaml (totalmente compatível com 1.0.0).
  • 39
  • MIT

illuaminate

Análise estática muito WIP para Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Minhas soluções para AoC 2017, usando Nim, OCaml e Python (por narimiran).
  • 38
  • MIT

bondi

código-fonte para a linguagem de programação bondi.
  • 38
  • MIT