shellcheckShellCheck, a static analysis tool for shell scripts
patatTerminal-based presentations using Pandoc
snake-furya challenge for Haskell beginners
pandocUniversal markup converter
postgrestREST API for any Postgres database
hadolintDockerfile linter, validate inline bash, written in Haskell
simplex-chatSimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!
hledgerRobust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
wstunnelTunneling over websocket protocol - Static binary available
rzkAn experimental proof assistant based on a type theory for synthetic ∞-categories.
kokaKoka language compiler and interpreter
xdg-ninjaA shell script which checks your $HOME for unwanted files and directories.
unisonA friendly programming language from the future
nix-output-monitorPipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
CarpA statically typed lisp, without a GC, for real-time applications.
agdaAgda is a dependently typed programming language / interactive theorem prover.
nix-treeInteractively browse dependency graphs of Nix derivations.
compilerCompiler for Elm, a functional language for reliable webapps.
nivEasy dependency management for Nix projects
HasChorFunctional choreographic programming in Haskell
futhark💥💻💥 A data-parallel functional programming language
SimulaLinux VR Desktop
opentelemetry-pluginGHC plugin for open telemetry
brickA declarative Unix terminal UI library written in Haskell
hotel-californiaA tool for OpenTelemetry tracing on the command line
nixfmtA formatter for Nix code
haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
linux_notification_centerA notification daemon/center for linux
stackThe Haskell Tool Stack
fourmoluA fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
ihp🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
simplexmq⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.
shhSimple shell like scripting from Haskell
auraA secure, multilingual package manager for Arch Linux and the AUR.
cabalOfficial upstream development repository for Cabal and cabal-install
dex-langResearch language for array processing in the Haskell/ML family
jacindaFunctional, expression-oriented data processing language
xmonadThe core of xmonad, a small but functional ICCCM-compliant tiling window manager
greenclipSimple clipboard manager to be integrated with rofi - Static binary available
ducklingLanguage, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
lawvereA categorical programming language with effects
monocleMonocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.
elaboration-zooMinimal implementations for dependent type checking and elaboration
megaparsecIndustrial-strength monadic parser combinator library
fossa-cliFast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.
skyscopeA tool for visualising and exploring Bazel Skyframe graphs.
bscBluespec Compiler (BSC)
ormoluA formatter for Haskell source code
nix-vscode-extensionsNix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]
fine-typesFineTypes is an interface description language (IDL) focussing on types
waiHaskell Web Application Interface
gititA wiki using HAppS, pandoc, and git
ghc-specterInspecting tool for GHC compilation pipeline
emanoteEmanate a structured view of your plain-text notes
kaleidoscopeHaskell LLVM JIT Compiler Tutorial
pandoc-crossrefPandoc filter for cross-references
dapptoolsDapp, Seth, Hevm, and more
yesodA RESTful Haskell web framework built on WAI.
iris🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
grinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
taskellCommand-line Kanban board/task manager with support for Trello boards and GitHub projects
hlint-pluginGHC plugin for hlint
lspHaskell library for the Microsoft Language Server Protocol
semanticParsing, analyzing, and comparing source code across many languages
hs-opentelemetryOpenTelemetry support for the Haskell programming language
gatewayScarf Gateway is a universal redirect layer for any digital artifact or URL, anywhere online. Scarf Gateway acts much like a customizable link shortener that also lets you serve software like Docker containers, Python packages, or anything other kind of software you distribute.
LambdaHackHaskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
juvixA language for intent-centric and declarative decentralised applications
elsaElsa is a lambda calculus evaluator
cachixCommand line client for Nix binary cache hosting:
hsthriftThe Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.
tetrisA terminal interface for Tetris
linear-builderStrict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
hoogleHaskell API search engine
polysemy♊ higher-order, no-boilerplate monads
git-mediateBecome a conflict resolution hero
flora-serverA package index for the Haskell ecosystem
clash-compilerHaskell to VHDL/Verilog/SystemVerilog compiler
implicit-hieAuto generate a stack or cabal multi component hie.yaml file
proarrowHaskell library for doing category theory with a central role for profunctors
termonadTerminal emulator configurable in Haskell.
effectfulAn easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
elm-tooling-compilerA backwards-compatible Elm compiler extended for Elm tooling
primalPrimitive World of Haskell
ghc-source-genLibrary for generating Haskell source files and code fragments.
scottyHaskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
haskell-musicSource Code from "Making Music with Haskell" video
higher-order-unificationA small implementation of higher-order unification
full-fledged-hledgerTutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports
FindUnionAn imperative implementation of disjoint-set data structure in Haskell
JazzkellHaskell framework for generative models of jazz
stylish-haskellHaskell code prettifier
caledonhigher order dependently typed logic programing
karyamusic sequencer and generalized notation
jgmHaskell, C, Lua
koalamanHaskell, Dockerfile, Shell
PostgRESTNix, Shell, Haskell
haskellHaskell, TeX, C
purescriptPureScript, Haskell, Dhall
sdiehlHaskell, Python, C
ekmettHaskell, Scala, Rust
tweagHaskell, Nix, Python
commercialhaskellHaskell, HTML, Shell
carp-langHTML, Dockerfile, Haskell
unisonwebElm, CSS, Ruby
GaloisIncHaskell, C, Python
Gabriella439Haskell, Nix, Dhall
simplex-chatHaskell, TypeScript, Swift
yesodwebHaskell, Shell, HTML
kowainikHaskell, Dockerfile, Makefile