Библиотеки, написанные на 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 in Depth".
  • 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 (по вводу-выводу-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 с помощью Serverless.
  • 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

Дом переводчика Glamorous 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

Telegram Bot API для Haskell.
  • 198
  • BSD 3-clause "New" or "Revised"

music-suite

Музыка на Хаскеле.
  • 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"