Biblioteker skrevet i Haskell
g4ip-prover
Sætningsbeviser for intuitionistisk propositionel logik, gaffel af github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Script til at køre Shake build-systemer ved hjælp af Cabal-infrastrukturen (forældet).
- 7
- Apache License 2.0
GG
Automatisering af Set Card Game, men bogstaveligt talt! (ved uendelig beklagelse).
- 7
- GNU General Public License v3.0 only
dvda
(forældet) Symbolske udtryk og algoritmisk differentiering i Haskell..
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
En Unix-domæne-socket-udvidelse til https://github.com/lpeterse/haskell-socket-biblioteket (af VyacheslavHashov).
- 7
- MIT
curl-aeson
Haskell-bibliotek til at kommunikere med HTTP-tjeneste ved hjælp af JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
En Haskell-implementering af EWE (Kent)-programmeringssproget, en udvidelse af RAM-sproget (Sethi).
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Presburger aritmetisk løser til indbyggede naturtyper på typeniveau.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Beregn et ideelt skemalayout ud fra et sæt tidsrum.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Haskell bibliotek til at løfte handlinger fra bunden af en monade transformer stak.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Kompatibilitet af TimeLocale mellem old-locale og time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
phone-numbers
Ufuldstændige bindinger til libphonenumber for Haskell.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Et simpelt værktøj til at sikkerhedskopiere og rotere ZFS-snapshots.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Et forenklet OpenGL ES core wrapper-bibliotek til Haskell..
- 7
- GNU Lesser General Public License v3.0 only
ghc-trace-events
ByteString/Text-varianter af Debug. Trace.traceEvent/traceMarker og binær hændelseslogning.
- 7
- BSD 3-clause "New" or "Revised"