Haskell

PipesGabriel439/Haskell-Pipes-Library

A clean and powerful Haskell stream processing library for building and connecting reusable streaming components.

Hylogensleexyz/hylogen

A Haskell library that embeds GLSL for live-coding shaders with a companion live-coding environment.

Yampaivanperez-keera/Yampa

A functional reactive programming domain-specific language for efficient hybrid systems and robotics.

nix-diffGabriella439/nix-diff

A command-line tool that explains why two Nix derivations differ, helping debug cache misses and verify changes.

jlchrisdone/jl

A tiny functional language for querying and manipulating JSON, like sed but for JSON data.

sparkletweag/sparkle

A library for writing Apache Spark applications in Haskell, enabling resilient analytics that scale to thousands of nodes.

Movie Monadlettier/movie-monad

A free, cross-platform video player built with Haskell, supporting local files and web streaming.

morpheus-graphqlmorpheusgraphql/morpheus-graphql

A Haskell library for building type-safe GraphQL APIs and clients with native Haskell types.

cabal2nixNixOS/cabal2nix

Generate Nix build instructions from Cabal files to integrate Haskell projects into the Nix ecosystem.

Rest for Haskellsilkapp/rest

A Haskell library for creating REST APIs with automatic client and documentation generation.

LambdaNetjbarrow/LambdaNet

A purely functional artificial neural network library for Haskell, enabling rapid prototyping through higher-order function composition.

haskell-torGaloisInc/haskell-tor

A Haskell implementation of the Tor onion routing protocol for anonymous internet communication.

awsaristidb/aws

A comprehensive Haskell library for interacting with Amazon Web Services including S3, SQS, DynamoDB, and more.

SysPLSysSec/sys

A static and symbolic analysis tool for finding memory safety bugs in browser code and other software.

Firewardbijoutrouvaille/fireward

A concise language and compiler for writing Firestore security rules with TypeScript interface generation.

givegifpassy/givegif

A command-line tool to search and display GIFs directly in your terminal using the Giphy API.

Haskellairalab/hs-web3

A Haskell library implementing API clients for Ethereum and other Web3 platforms.

Weederocharles/weeder

A Haskell tool for whole-program dead-code analysis using GHC's HIE files to detect unused code across module boundaries.

codec-beamhkgumbs/codec-beam

A Haskell library for generating Erlang VM byte code from pure Haskell, enabling compile-to-BEAM languages.

mongodbmongodb-haskell/mongodb

A Haskell driver for MongoDB that enables database connections, queries, updates, and administrative tasks.

graphql-haskelljdnavarro/graphql-haskell

A Haskell implementation of GraphQL providing AST data types, parser, printer, and future schema and interpreter tools.

vulkanexpipiplus1/vulkan

High-level, idiomatic Haskell bindings for the Vulkan graphics API, reducing verbosity while retaining full functionality.

Rattletraptfausak/rattletrap

A Haskell command-line tool to parse Rocket League replays into JSON and generate replays from JSON.

hoauth2freizl/hoauth2

A Haskell library for OAuth2 client authentication with support for multiple identity providers.

amqphreinhardt/amqp

A Haskell client library for interacting with RabbitMQ message brokers.

elm2nixcachix/elm2nix

Convert Elm projects into Nix expressions for reproducible builds and dependency management.

nixkellpwm/nixkell

A Nix-based skeleton project for quickly setting up reproducible Haskell development environments.

powerline-hsrdnetto/powerline-hs

A lightning-fast Haskell reimplementation of the Powerline shell prompt generator that improves shell responsiveness.

RISC-V Specification in Coqmit-plv/riscv-coq

A formal specification of the RISC-V instruction set architectures (RV32I, RV64I) and extensions (A, M) written in the Coq proof assistant.

hnnalpmestan/HNN

A Haskell library for building and training feed-forward neural networks with automatic differentiation.

Elm Bridgeagrafix/elm-bridge

Derive Elm type definitions and JSON encoders/decoders from Haskell types for seamless full-stack development.

hs-to-coqplclub/hs-to-coq

A tool that converts Haskell source code into equivalent Coq source code for formal verification.

Parsing With Haskell Parser Combinatorslettier/parsing-with-haskell-parser-combinators

A step-by-step guide to parsing using Haskell parser combinators, with practical examples for version numbers and SRT subtitles.

hailstormhailstorm-hs/hailstorm

A distributed stream processing system written in Haskell that guarantees exactly-once semantics.

HaskellAtnNn/haskell-rethinkdb

A Haskell client library for connecting to and querying RethinkDB databases.

Rockstardylanbeattie/rockstar

A dynamically typed programming language designed for writing programs that double as 1980s hard rock and power ballad lyrics.