In Haskell geschriebene Bibliotheken
g4ip-prover
Theorembeweiser für intuitionistische Aussagenlogik, Zweig von github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Skript zum Ausführen von Shake-Build-Systemen mithilfe der Cabal-Infrastruktur (veraltet).
- 7
- Apache License 2.0
GG
Automatisierung des Kartenspiels, aber im wahrsten Sinne des Wortes! (von infiniteregrets).
- 7
- GNU General Public License v3.0 only
dvda
(veraltet) Symbolische Ausdrücke und algorithmische Differenzierung in Haskell.
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
Eine Unix-Domain-Socket-Erweiterung für die Bibliothek https://github.com/lpeterse/haskell-socket (von VyacheslavHashov).
- 7
- MIT
curl-aeson
Haskell-Bibliothek für die Kommunikation mit dem HTTP-Dienst über JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
Eine Haskell-Implementierung der Programmiersprache EWE (Kent), einer Erweiterung der RAM-Sprache (Sethi).
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Presburger arithmetischer Löser für integrierte natürliche Zeichen auf Typebene.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Berechnen Sie ein ideales Zeitplanlayout aus einer Reihe von Zeitfenstern.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Haskell-Bibliothek zum Heben von Aktionen vom unteren Ende eines Monad-Transformator-Stacks.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Kompatibilität von TimeLocale zwischen old-locale und time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
phone-numbers
Unvollständige Bindungen an libphonenumber für Haskell.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Ein einfaches Tool zum Sichern und Rotieren von ZFS-Snapshots.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Eine vereinfachte OpenGL ES-Kern-Wrapper-Bibliothek für Haskell.
- 7
- GNU Lesser General Public License v3.0 only
ghc-trace-events
ByteString/Text-Varianten von Debug. Trace.traceEvent/traceMarker und binäre Ereignisprotokollierung.
- 7
- BSD 3-clause "New" or "Revised"