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

church

Automaticky konvertujte generické inštancie do az cirkevných reprezentácií.
  • 1
  • MIT

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"

aivika-experiment

Simulačné experimenty pre knižnicu Aivika.
  • 1
  • BSD 3-clause "New" or "Revised"

gore-and-ash-glfw

Základný modul pre gore-and-ash pre akcie GLFW.
  • 1
  • BSD 3-clause "New" or "Revised"

paramtree

  • 1
  • BSD 3-clause "New" or "Revised"

docstrings

definície haskell dokumentu pre prístup v repl.
  • 1
  • MIT

typed-encoding-encoding

Premostenie medzi balíkom `kódovanie` a `typed-encoding`.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-cellular

Potrubné kombinátory pre bunkové spracovanie dát.
  • 1
  • BSD 3-clause "New" or "Revised"

data-forest

Jednoduchá viacsmerná stromová dátová štruktúra.
  • 1
  • Apache License 2.0

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"

simple-json-api-haskell

  • 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"

bordacount

Haskell implementácia volebnej metódy Borda count.
  • 1
  • BSD 3-clause "New" or "Revised"

AOC2020

Moje riešenia pre AOC (od MatthiasCoppensa).
  • 1

cryptohash-cryptoapi

cryptohash inštancie pre cryptoapi.
  • 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

ViennaRNA-extras

Rozšírenia ViennaRNA v2 v Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

yesod-alerts

  • 1
  • BSD 3-clause "New" or "Revised"

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"