Haskell

Haskell 기반의 고성능 스트리밍 및 동시성 함수형 프로그래밍

자원 수집 및 프로그래밍 게임

스트리밍 데이터 라이브러리

Daml 스마트 계약 언어

Espial은 오픈 소스 웹 기반 북마크 서버입니다.

명령줄 벤치마크 도구

모나딕 파서 조합기 라이브러리

문법적 격(case)과 서법(mood)이 타입 시스템의 일부인 튀르키예어 기반 프로그래밍 언어입니다.

Haskell 웹 애플리케이션 인터페이스

Tip Toi의 파일 형식 이해하기

Haskell을 위한 표준 라이브러리

⚙️ SimpleXMQ - 공용 네트워크를 통한 심플렉스 큐용 SimpleX Messaging Protocol 레퍼런스 구현체

하드 실시간 C 코드를 생성하기 위한 스트림 기반 런타임 검증 프레임워크

Cardano에서 UTxO 및 HD 월렛을 관리하기 위한 HTTP 서버 및 커맨드 라인 도구

Haskell API 검색 엔진

Shake 빌드 시스템

종속 타입 검사 및 구체화를 위한 최소한의 구현

Haskell 프로그램 자동 테스트 도구

Haskell용 테스트 프레임워크

이미지 원근을 교정하기 위한 스크립트 가능 데스크톱 앱

명령형 프로그램을 위한 심볼릭 시뮬레이션 라이브러리 Crucible

조합자로 구현된 Haskell

대수적 그래프

Cloud Haskell 핵심 라이브러리

SystemVerilog를 Verilog로 변환

Cgrep: 소스 코드를 위한 문맥 인식 grep 도구

🌀 안전하고 고성능이며 사용자 친화적이고 가벼운 Haskell 표준 라이브러리

정교한 프로그램 추론을 위한 등급 모달 타입이 포함된 정적 타입 선형 함수형 언어

HStreamDB는 IoT 및 그 이상을 위한 오픈소스 클라우드 네이티브 스트리밍 데이터베이스로, 실시간 애플리케이션을 위한 데이터 스택 현대화를 지원함

XMonad와 같은 타일링 창 관리자를 위한 GTK 기반 상태 표시줄