Librerie scritte in OCaml

redtt

"Tra l'oscurità e l'alba si alza un cubo rosso!": un assistente alla dimostrazione per la teoria dei tipi cubici cartesiani.
  • 194
  • Apache License 2.0

FaCT

Linguaggio di programmazione a tempo flessibile e costante.
  • 190
  • BSD 3-clause "New" or "Revised"

async

Libreria di esecuzione asincrona di Jane Street Capital (di janestreet).
  • 182
  • MIT

ocaml5-tutorial

Un tutorial pratico sulle nuove funzionalità di parallelismo in OCaml 5.
  • 182
  • MIT

morbig

Un parser statico per POSIX Shell.
  • 181
  • GNU General Public License v3.0

C11parser

Un corretto parser C89/C90/C99/C11/C18 scritto usando Menhir e OCaml.
  • 174
  • GNU General Public License v3.0

patoline

Sistema di composizione Patoline.
  • 173
  • GNU General Public License v3.0 only

dometyl-keyboard

Un generatore parametrico per la progettazione di tastiere divise, concave ed ergonomiche scritte in ocaml..
  • 170
  • GNU Affero General Public License v3.0

drom

drom è un wrapper su opam/dune nel tentativo di fornire un'esperienza utente simile a un carico. Può essere utilizzato per creare progetti OCaml completi con documentazione sphinx e odoc. Ha una conoscenza specifica di Github e genererà file per Github Actions CI e pagine Github.
  • 165
  • GNU General Public License v3.0

mlang

Compilatore per il linguaggio M, utilizzato per calcolare l'imposta sul reddito dei contribuenti francesi.
  • 160
  • GNU General Public License v3.0 only

lablqml

Interfacciamento di Qt/QML con OCaml. Precedentemente noto come lablqt.
  • 158
  • GNU Lesser General Public License v3.0 only

supermin

strumento per la creazione di dispositivi supermin (precedentemente chiamato febootstrap). SI PREGA DI NON UTILIZZARE GITHUB PER PROBLEMI O RICHIESTE PULL. Consulta il sito web per sapere come segnalare un bug o contattaci. http://libguestfs.org.
  • 155
  • GNU General Public License v3.0 only

pyml

Associazioni OCaml per Python.
  • 154
  • BSD 2-clause "Simplified"

domainslib

Programmazione parallela su domini.
  • 144
  • ISC

sexplib

Conversione automatica dell'espressione S.
  • 141
  • MIT

postgresql-ocaml

Associazioni OCaml per il database PostgreSQL.
  • 138
  • GNU General Public License v3.0

jsoo-react

collegamenti js_of_ocaml per ReactJS. Basato su ReasonReact..
  • 136
  • MIT

preface

Preface è una libreria supponente progettata per facilitare la gestione di idiomi di programmazione funzionale ricorrenti in OCaml..
  • 132
  • MIT

reagents

Reagenti per OCaml multicore.
  • 126
  • ISC

opam-monorepo

Assembla gli spazi di lavoro delle dune per costruire il tuo progetto e le sue dipendenze nel loro insieme.
  • 126
  • ISC

ocurrent

Mantiene tutto aggiornato (una pipeline CI/CD OCaml eDSL).
  • 125
  • Apache License 2.0

flitter

Uno split timer di speedrunning ispirato a Livesplit per terminale Linux/macOS. Supporta i tasti di scelta rapida globali. (di alexozer).
  • 124
  • MIT

stanc3

Il transpiler Stan (da Stan a C++ e oltre)..
  • 120
  • BSD 3-clause "New" or "Revised"

zbg

✨ Zero stronzate idiote.
  • 116
  • Mozilla Public License 2.0

lua-ml

Un interprete Lua 2.5 incorporabile implementato in OCaml.
  • 116
  • BSD 2-clause "Simplified"

nice-parser

Simpatici parser in OCaml senza boilerplate.
  • 115
  • MIT

coq-serapi

Coq Protocol Playground con Se(xp)rializzazione delle Strutture Interne..
  • 114
  • GNU General Public License v3.0

streaming

Astrazioni streaming veloci, sicure e componibili. (da odis-labs).
  • 105
  • ISC

sqlite3-ocaml

Associazioni OCaml al database SQLite3.
  • 104
  • GNU General Public License v3.0

iter

Semplice tipo di dati astratto iteratore, destinato a iterare in modo efficiente sulle raccolte durante l'esecuzione di alcune trasformazioni. (da c-cubo).
  • 102
  • BSD 2-clause "Simplified"