Bibliothèques écrites en Haskell
sunlight
Testez le fichier cabal par rapport à plusieurs dépendances.
- 7
- BSD 3-clause "New" or "Revised"
g4ip-prover
Démonstrateur de théorèmes pour la logique propositionnelle intuitionniste, fork de github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Script pour exécuter les systèmes de construction Shake à l'aide de l'infrastructure Cabal (obsolète).
- 7
- Apache License 2.0
joint
Système d'effet extrêmement simple pour Haskell (par iokasimov).
- 7
- BSD 3-clause "New" or "Revised"
GG
Automatiser le Set Card Game, mais littéralement! (par des regrets infinis).
- 7
- GNU General Public License v3.0 only
dvda
(obsolète) Expressions symboliques et différenciation algorithmique en Haskell..
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
Une extension de socket de domaine Unix pour la bibliothèque https://github.com/lpeterse/haskell-socket (par VyacheslavHashov).
- 7
- MIT
curl-aeson
Bibliothèque Haskell pour communiquer avec le service HTTP en utilisant JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
Une implémentation Haskell du langage de programmation EWE (Kent), une extension du langage RAM (Sethi).
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Solveur arithmétique de Presburger pour les naturels intégrés au niveau du type.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Calculez une disposition d'horaire idéale à partir d'un ensemble de plages horaires.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Bibliothèque Haskell pour lever les actions du bas d'une pile de transformateurs de monade.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Compatibilité de TimeLocale entre old-locale et time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Un outil simple pour sauvegarder et faire pivoter les instantanés ZFS.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Une bibliothèque d'encapsulation de base OpenGL ES simplifiée pour Haskell.
- 7
- GNU Lesser General Public License v3.0 only
rings
Semi-anneaux, anneaux, anneaux de division et modules. (par cmk).
- 7
- BSD 3-clause "New" or "Revised"
ghc-trace-events
Variantes ByteString/Text de Debug. Trace.traceEvent/traceMarker et journalisation des événements binaires.
- 7
- BSD 3-clause "New" or "Revised"