Knjižnice, napisane v Haskellu
g4ip-prover
Dokazovalec izrekov za intuicionistično propozicionalno logiko, fork github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Skript za izvajanje sistemov za gradnjo Shake z uporabo infrastrukture Cabal (zastarelo).
- 7
- Apache License 2.0
joint
Izjemno preprost sistem učinkov za Haskell (avtor iokasimov).
- 7
- BSD 3-clause "New" or "Revised"
GG
Avtomatizacija Set Card Game, vendar dobesedno! (z neskončnim obžalovanjem).
- 7
- GNU General Public License v3.0 only
dvda
(zastarelo) Simbolni izrazi in algoritemsko razlikovanje v Haskellu..
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
Razširitev vtičnice domene Unix za knjižnico https://github.com/lpeterse/haskell-socket (avtor VyacheslavHashov).
- 7
- MIT
curl-aeson
Knjižnica Haskell za komunikacijo s storitvijo HTTP z uporabo JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
Haskell implementacija programskega jezika EWE (Kent), razširitev jezika RAM (Sethi).
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Presburgerjev aritmetični reševalec za vgrajene naturale na ravni tipa.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Izračunajte idealno postavitev urnika iz nabora časovnih intervalov.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Knjižnica Haskell za dvigovanje dejanj z dna sklada transformatorjev monad.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Združljivost TimeLocale med old-locale in time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Preprosto orodje za varnostno kopiranje in vrtenje posnetkov ZFS.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Poenostavljena knjižnica jedrnega ovoja OpenGL ES za Haskell..
- 7
- GNU Lesser General Public License v3.0 only
ghc-trace-events
ByteString/Besedilne različice Debug. Trace.traceEvent/traceMarker in binarno beleženje dogodkov.
- 7
- BSD 3-clause "New" or "Revised"