Discover the top trending Haskell repositories and projects on Github. Explore the latest trends in Haskell development.
wstunnel
Tunneling over websocket protocol - Static binary availablepostgrest
REST API for any Postgres databaseshellcheck
ShellCheck, a static analysis tool for shell scriptspandoc
Universal markup converterxdg-ninja
A shell script which checks your $HOME for unwanted files and directories.nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.koka
Koka language compiler and interpreterunison
A friendly programming language from the futurehadolint
Dockerfile linter, validate inline bash, written in Haskellsemantic
Parsing, analyzing, and comparing source code across many languagessimplex-chat
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!nix-tree
Interactively browse dependency graphs of Nix derivations.software-design-in-haskell
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.kmonad
An advanced keyboard managerduckling
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.simplexmq
⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.hledger
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.HPi
Library to access the GPIO pins on a Raspberry Pi from Haskell.hasktorch
Tensors and neural networks in Haskellmig
Lightweight and composable servers for Haskellttyd64
PM64 romhack that adds TTYD's gameplay into the original Paper Mario.sv2v
SystemVerilog to Verilog conversionniv
Easy dependency management for Nix projectstrace-foreign-calls
GHC plugin to add eventlog tracing for foreign function callshaskell-tdlib
TDLib (Telegram Database library) JSON bindings for Haskellghc-wasm-miso-examples
kit
Kit: a magical, high performance programming language, designed for game development.mtl
The Monad Transformer Libraryagda
Agda is a dependently typed programming language / interactive theorem prover.ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...lamdu
lamdu - towards the next generation IDEbrick
A declarative Unix terminal UI library written in Haskelltokenize
Simple tokenizer for English textawesome-haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.Carp
A statically typed lisp, without a GC, for real-time applications.emanote
Emanate a structured view of your plain-text noteshaskell
Haskell bindings for TensorFlowfuthark
💥💻💥 A data-parallel functional programming languagecachix
Command line client for Nix binary cache hosting:tie
Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projectsSimula
Linux VR Desktopcabal-build-info
miso
🍜 A tasty Haskell front-end frameworkpatat
Terminal-based presentations using Pandocvector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .linux_notification_center
A notification daemon/center for linuxgranule
A statically-typed linear functional language with graded modal types for fine-grained program reasoningthinking-with-types
📖 source material for Thinking with Typestinyapl
TinyAPL, a tiny APL dialect and interpreter in Haskellsaw-script
The SAW scripting language.HasChor
Functional choreographic programming in Haskellpurescript
A strongly-typed language that compiles to JavaScriptispc
a small stub for compiling and linking ispc code with haskellpython-pickle
Serialization/deserialization using Python Pickle formatpurerl
Erlang backend for the PureScript compilerportcullis
A minimalist / functional / dataflow programming languagegluturtle
library for program like LOGO's turtle with using Haskell and glutoczor
Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lispaura
A secure, multilingual package manager for Arch Linux and the AUR.mulang
🎍 Universal, Multi Language, Multi Paradigm code analyzercamfort
Light-weight verification and transformation tools for FortranAdvent-Of-Code
Advent Of Codethree-layer
3️⃣ 🍰 Architecture of the Haskell web applicationsservant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!yesod
A RESTful Haskell web framework built on WAI.gwern.net
Site infrastructure for gwern.net (CSS/JS/HS/images/icons). Custom Hakyll website with unique automatic link archiving, recursive tooltip popup UX, dark mode, and typography (sidenotes+dropcaps+admonitions+inflation-adjuster).amulet
An ML-like functional programming languagemicrolens
A lightweight (but compatible with ‘lens’) lenses librarymorpheus-graphql
Haskell GraphQL Api, Client and Toolsclash-compiler
Haskell to VHDL/Verilog/SystemVerilog compilerelm2nix
Convert Elm project into Nix expressionsEvEff
Efficient Haskell effect handlers based on evidence translation.hasql-pool
A pool of connections for Hasqlklfc
Keyboard Layout Files Creatorhaskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.notes
mrreason-setup
Design, ideas and motivation for my TidalCycles setup.DeepLearning
Neural networks using parametric prelenses and Trimbara modulesplay-haskell
Haskell Playgroundmotor
Type-safe effectful state machines in Haskellstylish-haskell
Haskell code prettifierzero-bs-haskell
Learn Haskell, with tiny lessons.Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.gotta-go-fast
A command line utility for practicing typing and measuring your WPM and accuracy.arbtt
arbtt, the automatic rule-based time-trackerhs-term-emulator
Terminal Emulator written in 100% HaskellLambdaHack
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend atHagl
A Haskell DSEL for experimental game theory.ormolu
A formatter for Haskell source codelens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lensdirectory
Platform-independent library for basic file system operationstetris
A terminal interface for Tetrisjsaddle-wasm
JSaddle integration for the GHC WASM backendBottomTsh
A Dependently Timed Drum Machine Languagegerty
A small implementation of graded modal dependent type theory. A younger cousin to Granule.egison
The Egison Programming Languageopentelemetry-plugin
GHC plugin for open telemetrygmcheck
fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!jgm
Haskell, C, Luakoalaman
Haskell, Dockerfile, ShellPostgREST
Haskell, PLpgSQL, Shellhaskell
Haskell, TeX, Nixinput-output-hk
Haskell, Nix, JavaScripthadolint
Haskell, Shellgithub
JavaScript, Ruby, TypeScriptpurescript
PureScript, Haskell, Shellsdiehl
Haskell, Python, Cekmett
Haskell, Scala, Rustelm
Elm, Haskell, JavaScriptjaspervdj
Haskell, Java, JavaScripttweag
Haskell, Nix, Pythonsimplex-chat
Haskell, HTML, Swiftcommercialhaskell
Haskell, HTML, Shellndmitchell
Haskell, JavaScript, Ccarp-lang
HTML, Dockerfile, Cunisonweb
Elm, CSS, RubyGaloisInc
Haskell, C, RustGabriella439
Haskell, Nix, Dhallyesodweb
Haskell, Shell, TeXkowainik
Haskell, Dockerfile, Makefilechrisdone
Haskell, Emacs Lisp, JavaScriptdigitallyinduced
Haskell, JavaScript, TypeScriptLove Open Source and this site? Check out how you can help us