Librerie scritte in Haskell
SynthML
Un linguaggio di programmazione per la sintesi di programmi orientati al tipo.
- 6
- Mozilla Public License 2.0
conffmt
language-conf -.conf (ad es. configurazione nginx) parser e pretty-printers per il linguaggio di programmazione Haskell..
- 6
- MIT
Sit
Controllore di tipo prototipo per la teoria dei tipi con numeri naturali dimensionati (di andreasabel).
- 6
bricks
Bricks è un linguaggio funzionale pigro basato su Nix. (di Chris Martin).
- 6
- Apache License 2.0
concurrency-benchmarks
Benchmark che confrontano l'overhead di concorrenza di streamly e async.
- 6
- MIT
tag-bits
Fornisce l'accesso ai bit dei tag del puntatore dinamico di GHC.
- 6
- BSD 3-clause "New" or "Revised"
linear-generics
Supporto per generici tipizzati linearmente in Haskell.
- 6
- BSD 3-clause "New" or "Revised"
text-generic-pretty
Una stampante carina haskell generica, derivabile - Progetto di ricerca, estate 2011 (di joe9).
- 6
- BSD 3-clause "New" or "Revised"