Librerie scritte in Haskell
g4ip-prover
Dimostratore di teoremi per la logica proposizionale intuizionista, fork di github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Script per l'esecuzione di sistemi di build Shake utilizzando l'infrastruttura Cabal (deprecato).
- 7
- Apache License 2.0
joint
Sistema di effetti estremamente semplice per Haskell (di iokasimov).
- 7
- BSD 3-clause "New" or "Revised"
GG
Automatizzare il Set Card Game, ma letteralmente! (per infiniti rimpianti).
- 7
- GNU General Public License v3.0 only
dvda
(deprecato) Espressioni simboliche e differenziazione algoritmica in Haskell..
- 7
- BSD 3-clause "New" or "Revised"
curl-aeson
Libreria Haskell per la comunicazione con il servizio HTTP tramite JSON.
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Risolutore aritmetico di Presburger per naturali incorporati a livello di tipo.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Calcola un layout di pianificazione ideale da una serie di fasce orarie.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Libreria Haskell per sollevare azioni dal fondo di uno stack di trasformatore monade.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Compatibilità di TimeLocale tra old-locale e time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Un semplice strumento per il backup e la rotazione delle istantanee ZFS.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Una libreria wrapper core OpenGL ES semplificata per Haskell..
- 7
- GNU Lesser General Public License v3.0 only