Haskell로 작성된 라이브러리

judge

정당성 논리를 위한 Tableau 기반 정리 증명..
  • 1
  • GNU General Public License v3.0 only

string-like

하스켈의 문자열류 객체를 위한 균일한 인터페이스.
  • 1
  • BSD 3-clause "New" or "Revised"

haskhol-core

HaskHOL 정리 증명기의 핵심 논리 시스템입니다. 자세한 내용은 haskhol.org를 참조하세요..
  • 1
  • BSD 3-clause "New" or "Revised"

tpdb

TPDB 구문용 파서 및 프리티프린터(종료 문제 데이터베이스).
  • 1
  • GNU General Public License v3.0 only

base64-bytes

Haskell의 Base64 인코딩.
  • 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

ceilometer에 대한 일반적인 Haskell 유형 및 인코딩.
  • 1
  • BSD 3-clause "New" or "Revised"

cognimeta-utils

Perdure에서 사용하는 유틸리티.
  • 1

primitive-unlifted

해제되지 않은 값의 인터페이스 배열인 PrimUnlifted 유형 클래스.
  • 1
  • BSD 3-clause "New" or "Revised"

pipes-break

구분 기호를 통해 ByteString 및 Text에서 중단하고 작동하는 파이프 생태계용 유틸리티..
  • 1
  • BSD 3-clause "New" or "Revised"

aoc2020

코드 2020의 출현(by pwm).
  • 1
  • BSD 3-clause "New" or "Revised"

KSP

KSP 계산 라이브러리(frosch03 제공).
  • 1

confcheck-types

confcheck 유형.
  • 1
  • GNU Affero General Public License v3.0

trasa-extra

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

th-nowq

현재 시간으로 확장되는 템플릿 하스켈 스플라이스.
  • 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

haskell에서 glibc의 crypt_r 함수에 대한 바인딩..
  • 1
  • BSD 3-clause "New" or "Revised"

abacate

  • 1

proxy

프록시 '도우미'(chessai 제공).
  • 1
  • MIT

hgrep-smallcore

대학 프로젝트: https://www.ccs.neu.edu/home/turon/re-deriv.pdf의 하스켈 구현, 매우 작은 내부 정규식 표현..
  • 1
  • BSD 3-clause "New" or "Revised"

ViennaRNA-extras

Haskell의 ViennaRNA v2 확장.
  • 1
  • BSD 3-clause "New" or "Revised"

projection

임의로 중첩된 이진 곱 유형에 대한 프로젝션 기능..
  • 1
  • BSD 3-clause "New" or "Revised"

aws-elastic-transcoder

AWS Elastic Transcoder 서비스에 인터페이스하기 위한 Haskell AWS 리포지토리 확장.
  • 1
  • BSD 3-clause "New" or "Revised"

sscript

아래 첨자 또는 위 첨자 문자로 문자열을 포맷합니다.
  • 1
  • BSD 3-clause "New" or "Revised"

advent2020

Advent of Code 2020 솔루션. (by elldritch).
  • 1

streaming-events

ServerEvent의 클라이언트 측 소비..
  • 1
  • BSD 3-clause "New" or "Revised"