Librerie scritte in Haskell
categorifier
Interpreta i programmi Haskell in qualsiasi categoria chiusa cartesiana.
- 38
- BSD 3-clause "New" or "Revised"
nom
Implementazione Haskell di tipi di dati e funzioni nominali (di bellissimogiorno).
- 38
- BSD 3-clause "New" or "Revised"
cabal-meta
evita l'inferno della dipendenza dalla cabala installando tutte le dipendenze della cabala contemporaneamente.
- 37
- BSD 3-clause "New" or "Revised"
twee-lib
Un dimostratore di teoremi equazionali basato sul completamento di Knuth-Bendix.
- 37
- BSD 3-clause "New" or "Revised"
hadoop-tools
Strumenti per lavorare con Hadoop, scritti pensando alle prestazioni.
- 37
- Apache License 2.0
postgresql-simple-named
:domanda: Implementazione di parametri denominati per la libreria `postgresql-simple`.
- 37
- Mozilla Public License 2.0