Bibliothèques écrites en OCaml

smart-contracts

Une bibliothèque de contrats intelligents (par oxheadalpha).
  • 100
  • MIT

coq-lsp

Extension de code Visual Studio et protocole de serveur de langage pour Coq.
  • 98
  • GNU Lesser General Public License v3.0 only

capnp-rpc

Implémentation Cap'n Proto RPC.
  • 89
  • GNU General Public License v3.0

ocaml-asp

Analyse algébrique étagée pour OCaml: typée, compositionnelle et plus rapide que yacc.
  • 87
  • MIT

camlboot

Expérimentez comment démarrer le compilateur OCaml.
  • 84
  • MIT

yocaml

YOCaml est un générateur de site statique, principalement écrit en OCaml.
  • 82
  • GNU General Public License v3.0 only

lablgtk

LablGTK 2 et 3: une interface avec le kit d'outils GIMP.
  • 81
  • GNU General Public License v3.0

ppx_sexp_conv

Génération de fonctions de conversion d'expression S à partir de définitions de type.
  • 76
  • MIT

silk

Le langage de programmation Silk (par AjayMT).
  • 75
  • MIT

weidu

WeiDU est un programme utilisé pour développer, distribuer et installer des modifications pour les jeux basés sur le moteur Infinity.
  • 71
  • GNU General Public License v3.0 only

ocamlot

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

flambda-backend

Le projet backend Flambda pour OCaml.
  • 61

cuite

(miroir) liaisons OCaml à la boîte à outils Qt..
  • 58
  • MIT

tornado

Tornado est un client BitTorrent entièrement écrit en OCaml. (par fraidev).
  • 57
  • MIT

kalandralang

Un langage de programmation pour les recettes d'artisanat de Path of Exile.
  • 54
  • MIT

miragevpn

Une implémentation opiniâtre du protocole OpenVPN.
  • 53

virt-v2v

Virt-v2v convertit les invités d'hyperviseurs étrangers pour qu'ils s'exécutent sur KVM.
  • 51
  • GNU General Public License v3.0 only

ego

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

ocaml-matrix

Implémentation d'un serveur matriciel en OCaml pour MirageOS.
  • 49
  • ISC

unikernels

MirageOS unikernels (par roburio).
  • 49

prometheus

Bibliothèque OCaml pour rapporter des métriques à un serveur Prometheus (par mirage).
  • 48
  • Apache License 2.0

youtube-channel

  • 44

ocaml-grpc

Bibliothèque gRPC pour OCaml.
  • 43
  • BSD 3-clause "New" or "Revised"

sexp

Couteau suisse S-expression.
  • 41
  • MIT

obuilder

Alternative expérimentale de "construction docker" utilisant des instantanés btrfs/zfs.
  • 40
  • Apache License 2.0

VIBES

Édition vérifiée, incrémentielle et binaire avec synthèse.
  • 39
  • MIT

otoml

Bibliothèque d'analyse, de manipulation et d'impression TOML pour OCaml (entièrement compatible 1.0.0).
  • 39
  • MIT

illuaminate

Analyse statique très WIP pour Lua.
  • 39
  • BSD 3-clause "New" or "Revised"

AdventOfCode2017

Mes solutions pour AoC 2017, utilisant Nim, OCaml et Python (par narimiran).
  • 38
  • MIT

bondi

code source du langage de programmation bondi.
  • 38
  • MIT