Библиотеки, написанные на Haskell
g4ip-prover
Средство доказательства теорем для интуиционистской логики высказываний, ответвление github.com/cacay/G4ip.
- 7
- MIT
shake-cabal-build
Скрипт для запуска систем сборки Shake с использованием инфраструктуры Cabal (устарело).
- 7
- Apache License 2.0
joint
Чрезвычайно простая система эффектов для Haskell (от iokasimov).
- 7
- BSD 3-clause "New" or "Revised"
GG
Автоматизация Set Card Game, но буквально! (от бесконечного сожаления).
- 7
- GNU General Public License v3.0 only
dvda
(устарело) Символьные выражения и алгоритмическая дифференциация в Haskell..
- 7
- BSD 3-clause "New" or "Revised"
socket-unix
Расширение сокета домена Unix для библиотеки https://github.com/lpeterse/haskell-socket (от Вячеслава Хашова).
- 7
- MIT
curl-aeson
Библиотека Haskell для связи со службой HTTP с использованием JSON.
- 7
- BSD 3-clause "New" or "Revised"
ewe
Реализация Haskell языка программирования EWE (Kent), расширения языка RAM (Sethi).
- 7
- BSD 3-clause "New" or "Revised"
singletons-presburger
Арифметический решатель Presburger для встроенных натуральных чисел на уровне типов.
- 7
- BSD 3-clause "New" or "Revised"
schedule-planner
Рассчитайте идеальный макет расписания из набора временных интервалов.
- 7
- GNU Lesser General Public License v3.0 only
transformers-base
Библиотека Haskell для подъема действий из нижней части стека преобразования монад.
- 7
- BSD 3-clause "New" or "Revised"
time-locale-compat
Совместимость TimeLocale между old-locale и time-1.5.
- 7
- BSD 3-clause "New" or "Revised"
zfs-backup
Простой инструмент для резервного копирования и ротации снимков ZFS.
- 7
- BSD 3-clause "New" or "Revised"
opengles
Упрощенная библиотека ядра OpenGL ES для Haskell.
- 7
- GNU Lesser General Public License v3.0 only
ghc-trace-events
ByteString/текстовые варианты Debug. Trace.traceEvent/traceMarker и регистрация двоичных событий.
- 7
- BSD 3-clause "New" or "Revised"