Библиотеки, написани на Haskell

HDBC-session

Това хранилище включва генератор на обединени заявки, базиран на релационна алгебра с пълен тип, и инструменти за съпоставяне между списък със стойности на SQL и тип запис на Haskell.
  • 226
  • BSD 3-clause "New" or "Revised"

Algorithm-W-Step-By-Step

Класически алгоритъм W за извеждане на типа..
  • 226

diagnose

Проста библиотека за докладване на грешки на компилатор/интерпретатор.
  • 222
  • BSD 3-clause "New" or "Revised"

unordered-containers

Ефективни типове контейнери, базирани на хеширане.
  • 222
  • BSD 3-clause "New" or "Revised"

hid-examples

Примери, придружаващи книгата "Haskell в дълбочина".
  • 221
  • BSD 3-clause "New" or "Revised"

grpc-haskell

Поддръжка на Haskell gRPC.
  • 220
  • Apache License 2.0

blaze-from-html

Светкавично бърза HTML комбинаторна библиотека за Haskell..
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

SMT базирана проверка в Haskell. Изразете свойства за програмите на Haskell и автоматично ги докажете с помощта на SMT решаващи програми.
  • 219
  • BSD 3-clause "New" or "Revised"

freer-simple

Система за приятелски ефекти за Haskell.
  • 219
  • BSD 3-clause "New" or "Revised"

cassava

CSV библиотека за анализ и кодиране, оптимизирана за лесна употреба и висока производителност.
  • 218
  • BSD 3-clause "New" or "Revised"

sixty

Проверка на зависим тип, използваща нормализиране чрез оценка.
  • 218
  • BSD 3-clause "New" or "Revised"

hydra

Внедряване на протокола Hydra Head (чрез input-output-hk).
  • 217
  • Apache License 2.0

elm-get

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

givegif

GIF файлове в командния ред.
  • 216
  • BSD 3-clause "New" or "Revised"

cardano-ledger

Реализацията на счетоводната книга и спецификациите на блокчейна Cardano..
  • 216
  • Apache License 2.0

serverless-haskell

Внедряване на приложения на Haskell в AWS Lambda без сървър.
  • 213
  • MIT

lol

Λ ⚬ λ: Функционална решетъчна криптография.
  • 212
  • GNU General Public License v3.0 only

capability

Разширителни възможности и извличащи комбинатори.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

Библиотека на Haskell за въвеждане на ред в програми от командния ред..
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

Домът на бляскавия преводач Glambda.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Клиентска библиотека от средно ниво за достъп до PostgreSQL от Haskell.
  • 208
  • BSD 3-clause "New" or "Revised"

optparse-generic

Автоматично генериране на анализатор на командния ред за вашия тип данни.
  • 205
  • BSD 3-clause "New" or "Revised"

hi

Генерирайте скеле за проект на Haskell.
  • 201
  • BSD 3-clause "New" or "Revised"

Allure

Allure of the Stars е научна фантастика от близкото бъдеще като roguelike и тактическа бойна игра с отряди, написана на Haskell; моля, предложете обратна връзка, например, след като изпробвате версията на уеб интерфейса на адрес.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

API на Telegram Bot за Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Музика на Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

katip

Структурирана рамка за регистриране за Haskell.
  • 197
  • BSD 3-clause "New" or "Revised"

quickcheck-state-machine

Тествайте монадични програми, като използвате модели, базирани на държавна машина.
  • 196
  • BSD 3-clause "New" or "Revised"

HaTeX

Библиотеката на Haskell LaTeX..
  • 196
  • BSD 3-clause "New" or "Revised"

snap-server

Бърза HTTP сървърна библиотека, която изпълнява Snap уеб манипулатори..
  • 195
  • BSD 3-clause "New" or "Revised"