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"
C11parser
Un corretto parser C89/C90/C99/C11/C18 scritto usando Menhir e OCaml.
- 174
- GNU General Public License v3.0
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
preface
Preface è una libreria supponente progettata per facilitare la gestione di idiomi di programmazione funzionale ricorrenti in OCaml..
- 132
- MIT
opam-monorepo
Assembla gli spazi di lavoro delle dune per costruire il tuo progetto e le sue dipendenze nel loro insieme.
- 126
- ISC
flitter
Uno split timer di speedrunning ispirato a Livesplit per terminale Linux/macOS. Supporta i tasti di scelta rapida globali. (di alexozer).
- 124
- MIT
coq-serapi
Coq Protocol Playground con Se(xp)rializzazione delle Strutture Interne..
- 114
- 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"