Librerie scritte in OCaml

sihl

Un framework web funzionale modulare.
  • 339
  • MIT

ocaml-ctypes

Libreria per l'associazione alle librerie C utilizzando OCaml puro.
  • 337
  • MIT

notty

Grafica terminale dichiarativa per OCaml (di pqwy).
  • 323
  • ISC

bamboo

Bamboo vedi https://github.com/cornellblockchain/bamboo (di pirapira).
  • 318
  • Apache License 2.0

bonsai

Una libreria per la creazione di webapp dinamiche, utilizzando Js_of_ocaml.
  • 305
  • MIT

vscode-ocaml-platform

Estensione del codice di Visual Studio per OCaml.
  • 298
  • ISC

soupault

Generatore di siti Web statici basato sulla riscrittura dell'albero degli elementi HTML.
  • 294
  • MIT

ocaml-h2

Un'implementazione HTTP/2 scritta in puro OCaml.
  • 287
  • BSD 3-clause "New" or "Revised"

bisect_ppx

Copertura del codice per OCaml e ReScript.
  • 283
  • MIT

yojson

Analisi JSON di basso livello e libreria Pretty-Printing per OCaml.
  • 283
  • BSD 3-clause "New" or "Revised"

bs-json

Libreria di codifica/decodifica JSON composizionale per BuckleScript.
  • 273
  • GNU Lesser General Public License v3.0 only

re-web

Framework web sperimentale per ReasonML e OCaml.
  • 264
  • MIT

GeneWeb

GeneWeb è un software di genealogia gratuito (come nella libertà di parola) con un'interfaccia web creata da Daniel de Rauglaudre..
  • 262
  • GNU General Public License v3.0 only

ocaml-jupyter

Un kernel OCaml per notebook Jupyter (IPython).
  • 258
  • MIT

1ml

Interprete prototipo 1ML.
  • 255
  • Apache License 2.0

ocaml-caqti

Accesso a thread cooperativo ai dati relazionali.
  • 255
  • GNU Lesser General Public License v3.0 only

parallel-programming-in-multicore-ocaml

Tutorial sulla programmazione parallela Multicore OCaml con domainslib.
  • 252
  • ISC

bsb-native

Sistema di compilazione per OCaml/Reason.
  • 244
  • GNU General Public License v3.0

scilla

Scilla - Un linguaggio di livello intermedio per contratti intelligenti (di Zilliqa).
  • 239
  • GNU General Public License v3.0 only

ocaml-webmachine

Un toolkit REST per OCaml.
  • 222
  • GNU General Public License v3.0

mldonkey

demone p2p multipiattaforma multi-rete.
  • 217
  • GNU General Public License v3.0

coq-of-ocaml

Verifica formale per OCaml.
  • 215
  • MIT

sedlex

Un generatore di lexer OCaml per Unicode.
  • 212
  • MIT

coq2rust

Estrazione del programma da Coq a Rust. L'intero albero è sulla base del codice Coq originale..
  • 212
  • GNU Lesser General Public License v3.0 only

ocaml-re

Espressioni regolari OCaml pure, con supporto per stringhe in stile Perl e POSIX.
  • 206
  • GNU General Public License v3.0

extprot

  • 203
  • GNU General Public License v3.0

plotkicadsch

Questo progetto mira a poter esportare i file Kicad Sch in file immagine strutturati (da jnavila).
  • 201
  • GNU General Public License v3.0

cooltt

😎TT.
  • 201
  • Apache License 2.0

qubes-mirage-firewall

Una VM firewall Mirage per QubesOS.
  • 195

c2bf

Compilatore da C a brainfuck.
  • 194
  • GNU General Public License v3.0 only