Knižnice napísané v Haskelle
judge
Dokazovateľ teorémov založených na tabuľkách pre logiku ospravedlnenia.
- 1
- GNU General Public License v3.0 only
haskhol-core
Základný logický systém overovateľa vety HaskHOL. Viac informácií nájdete na stránke haskhol.org...
- 1
- BSD 3-clause "New" or "Revised"
tpdb
parser a prettyprinter pre syntax TPDB (databáza problémov s ukončením).
- 1
- GNU General Public License v3.0 only
pipes-break
Pomôcky pre ekosystém rúr na prerušenie a fungovanie na ByteString a Text prostredníctvom oddeľovačov.
- 1
- BSD 3-clause "New" or "Revised"
gore-and-ash-logging
Základný modul pre gore-and-ash pre ťažobné nástroje.
- 1
- BSD 3-clause "New" or "Revised"
typed-encoding-encoding
Premostenie medzi balíkom `kódovanie` a `typed-encoding`.
- 1
- BSD 3-clause "New" or "Revised"
bindings-dc1394
Nízkoúrovňové väzby haskell pre libdc1394 (na ovládanie firewire kamier).
- 1
- BSD 3-clause "New" or "Revised"
binary-io
Čítať a zapisovať hodnoty typov, ktoré implementujú binárne z a do úchytov.
- 1
- BSD 3-clause "New" or "Revised"
yesod-pnotify
ďalší getMessage/setMessage pomocou doplnkov pnotify jquery.
- 1
- BSD 3-clause "New" or "Revised"
tasty-leancheck
Podpora LeanCheck pre testovací rámec Tasty (Haskell).
- 1
- BSD 3-clause "New" or "Revised"
persistent-template-classy
Vytvorte elegantné prístupové prvky poľa objektívu pre odolné modely.
- 1
- BSD 3-clause "New" or "Revised"
snap-configuration-utilities
Užitočné funkcie na manipuláciu s objektmi konfigurátora kompatibilného so Snap.
- 1
- BSD 3-clause "New" or "Revised"
minimorph
Funkcie anglického pravopisu s dôrazom na jednoduchosť. Pôvodne od https://github.com/kowey..
- 1
- BSD 3-clause "New" or "Revised"
axiomatic-classes
Zadajte axiómy pre typové triedy a rýchlo skontrolujte všetky dostupné inštancie.
- 1
- MIT
workflow-pure
čistá interpretácia `Free WorkflowF` z `workflow-types`.
- 1
- BSD 3-clause "New" or "Revised"
yesod-auth-deskcom
Podpora Desk.com Multipass pre aplikácie Yesod...
- 1
- BSD 3-clause "New" or "Revised"
list-witnesses
Induktívni závislí typizovaní svedkovia pre prácu so zoznamami na úrovni typu.
- 1
- BSD 3-clause "New" or "Revised"