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

하스켈 gRPC 지원.
  • 220
  • Apache License 2.0

blaze-from-html

엄청나게 빠른 Haskell용 HTML 결합자 라이브러리..
  • 220
  • BSD 3-clause "New" or "Revised"

sbv

Haskell의 SMT 기반 검증. 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

서버리스를 사용하여 AWS Lambda에 Haskell 애플리케이션 배포.
  • 213
  • MIT

lol

Λ ⚬ λ: 기능적 격자 암호화.
  • 212
  • GNU General Public License v3.0 only

capability

확장 기능 및 파생 연결자.
  • 212
  • BSD 3-clause "New" or "Revised"

haskeline

명령줄 프로그램의 줄 입력을 위한 하스켈 라이브러리..
  • 210
  • BSD 3-clause "New" or "Revised"

glambda

Glamorous Glambda 통역사의 집.
  • 210
  • BSD 3-clause "New" or "Revised"

postgresql-simple

Haskell에서 PostgreSQL에 액세스하기 위한 중간 수준 클라이언트 라이브러리.
  • 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는 Haskell로 작성된 근미래의 Sci-Fi 로그라이크 전술 분대 전투 게임입니다. 예를 들어 웹 프론트엔드 버전을 사용해 본 후 피드백을 제공하십시오.
  • 200
  • GNU Affero General Public License v3.0

telegram-api

하스켈용 텔레그램 봇 API.
  • 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

Snap 웹 핸들러를 실행하는 빠른 HTTP 서버 라이브러리..
  • 195
  • BSD 3-clause "New" or "Revised"