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

judge

Теорема, базирана на Tableau, за доказване на логика на обосновка.
  • 1
  • GNU General Public License v3.0 only

string-like

Единен интерфейс за String-подобни обекти в Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

Основната логическа система на програмата за доказване на теорема HaskHOL. Вижте haskhol.org за повече подробности..
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

анализатор и prettyprinter за синтаксис на TPDB (база данни за проблем с прекъсване).
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Base64 кодиране в Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

advent-of-code-dev-2021

Интерактивна среда за разработка и бегач за предизвикателства на Advent of Code.
  • 1
  • BSD 3-clause "New" or "Revised"

cl3-hmatrix-interface

Интерфейс към/от библиотеките Cl3 и HMatrix.
  • 1
  • BSD 3-clause "New" or "Revised"

humble-prelude

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

libretls

  • 1
  • BSD 2-clause "Simplified"

ceilometer-common

Често срещани типове на Haskell и кодиране за обточен метър.
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

Помощни програми, използвани от Perdure.
  • 1

primitive-unlifted

PrimUnlifted typeclass, интерфейсни масиви от неповдигнати стойности.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

Помощни програми за екосистемата на тръбите за прекъсване и работа с ByteString и Text чрез разделители..
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

Появата на Code 2020 (от pwm).
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

KSP calc библиотека (от frosch03).
  • 1

confcheck-types

confcheck-типове.
  • 1
  • GNU Affero General Public License v3.0

trasa-extra

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

th-nowq

Шаблон Haskell снаждане, който се разширява до текущото време.
  • 1
  • BSD 3-clause "New" or "Revised"

aws-ses-easy

📧 Лесна интеграция на Amazon SES.
  • 1
  • BSD 3-clause "New" or "Revised"

integreat

Интегрирайте различни източници на данни и по желание извършете диференциална интеграция..
  • 1
  • GNU General Public License v3.0 only

nano-cryptr

Обвързване към функцията crypt_r на glibc от haskell..
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

прокси „помощници“ (от chessai).
  • 1
  • MIT

hgrep-smallcore

Университетски проект: внедряване на Haskell на https://www.ccs.neu.edu/home/turon/re-deriv.pdf, с много малко вътрешно представяне на регулярен израз..
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

ViennaRNA v2 разширения в Haskell.
  • 1
  • BSD 3-clause "New" or "Revised"

projection

Проекционна функция за произволно вложени типове двоични продукти..
  • 1
  • BSD 3-clause "New" or "Revised"

aws-elastic-transcoder

разширение към хранилището на Haskell AWS за интерфейс към услугата AWS Elastic Transcoder.
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

Форматира низове с долен или горен индекс.
  • 1
  • BSD 3-clause "New" or "Revised"

advent2020

Решения за Advent of Code 2020. (от elldritch).
  • 1

streaming-events

Консумация от страна на клиента на ServerEvent..
  • 1
  • BSD 3-clause "New" or "Revised"