Librerie scritte in Haskell
dimensional-codata
CODATA Costanti fisiche raccomandate con tipi dimensionali.
- 2
- BSD 3-clause "New" or "Revised"
dhall-check
Controlla tutti i file.dh in una directory rispetto a una determinata firma del tipo.
- 2
- BSD 3-clause "New" or "Revised"
hw-conduit-merges
Ulteriori combinatori di unione/unione per Conduit.
- 2
- BSD 3-clause "New" or "Revised"
radix-tree
Implementazione Haskell della struttura dati dell'albero radix.
- 2
- BSD 3-clause "New" or "Revised"
aterm-utils
Funzioni di utilità per lavorare con aterms generati da Minitermite.
- 2
- BSD 3-clause "New" or "Revised"
boop
Primitive di programmazione orientata agli oggetti per Haskell (di tdammers).
- 2
- BSD 3-clause "New" or "Revised"
CarneadesDSL
Un'implementazione e un DSL per il modello di argomentazione di Carneade.
- 2
- BSD 3-clause "New" or "Revised"
eprocess
Supporto di processo *molto* di base simile a erlang per Haskell.
- 2
- BSD 3-clause "New" or "Revised"