Discover Haskell

< More Languages

Discover the top trending Haskell repositories and projects on Github. Explore the latest trends in Haskell development.

30 days 90 days All time

shellcheck

ShellCheck, a static analysis tool for shell scripts

patat

Terminal-based presentations using Pandoc

snake-fury

a challenge for Haskell beginners

pandoc

Universal markup converter

postgrest

REST API for any Postgres database

hadolint

Dockerfile linter, validate inline bash, written in Haskell

simplex-chat

SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released 📱!

hledger

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

wstunnel

Tunneling over websocket protocol - Static binary available

rzk

An experimental proof assistant based on a type theory for synthetic ∞-categories.

koka

Koka language compiler and interpreter

xdg-ninja

A shell script which checks your $HOME for unwanted files and directories.

unison

A friendly programming language from the future

nix-output-monitor

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Carp

A statically typed lisp, without a GC, for real-time applications.

agda

Agda is a dependently typed programming language / interactive theorem prover.

nix-tree

Interactively browse dependency graphs of Nix derivations.

purescript

A strongly-typed language that compiles to JavaScript

compiler

Compiler for Elm, a functional language for reliable webapps.

niv

Easy dependency management for Nix projects

HasChor

Functional choreographic programming in Haskell

futhark

💥💻💥 A data-parallel functional programming language

Simula

Linux VR Desktop

opentelemetry-plugin

GHC plugin for open telemetry

brick

A declarative Unix terminal UI library written in Haskell

hotel-california

A tool for OpenTelemetry tracing on the command line

nixfmt

A formatter for Nix code

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

linux_notification_center

A notification daemon/center for linux

stack

The Haskell Tool Stack

fourmolu

A 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.

shh

Simple shell like scripting from Haskell

htmlt

Lightweight frontend library for GHC with JavaScript Backend

aura

A secure, multilingual package manager for Arch Linux and the AUR.

cabal

Official upstream development repository for Cabal and cabal-install

dex-lang

Research language for array processing in the Haskell/ML family

jacinda

Functional, expression-oriented data processing language

xmonad

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

greenclip

Simple clipboard manager to be integrated with rofi - Static binary available

duckling

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

lawvere

A categorical programming language with effects

monocle

Monocle helps teams and individual to better organize daily duties and to detect anomalies in the way changes are produced and reviewed.

ical

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

megaparsec

Industrial-strength monadic parser combinator library

fossa-cli

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

skyscope

A tool for visualising and exploring Bazel Skyframe graphs.

bsc

Bluespec Compiler (BSC)

ormolu

A formatter for Haskell source code

nix-vscode-extensions

Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]

fine-types

FineTypes is an interface description language (IDL) focussing on types

wai

Haskell Web Application Interface

gitit

A wiki using HAppS, pandoc, and git

ghc-specter

Inspecting tool for GHC compilation pipeline

emanote

Emanate a structured view of your plain-text notes

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

pandoc-crossref

Pandoc filter for cross-references

dapptools

Dapp, Seth, Hevm, and more

yesod

A RESTful Haskell web framework built on WAI.

iris

🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

taskell

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

hlint-plugin

GHC plugin for hlint

lsp

Haskell library for the Microsoft Language Server Protocol

derive-has-field

semantic

Parsing, analyzing, and comparing source code across many languages

hs-opentelemetry

OpenTelemetry support for the Haskell programming language

gateway

Scarf 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.

LambdaHack

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

juvix

A language for intent-centric and declarative decentralised applications

elsa

Elsa is a lambda calculus evaluator

cachix

Command line client for Nix binary cache hosting:

hsthrift

The 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.

tetris

A terminal interface for Tetris

linear-builder

Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

hoogle

Haskell API search engine

polysemy

♊ higher-order, no-boilerplate monads

git-mediate

Become a conflict resolution hero

visualize-cbn

flora-server

A package index for the Haskell ecosystem

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

implicit-hie

Auto generate a stack or cabal multi component hie.yaml file

proarrow

Haskell library for doing category theory with a central role for profunctors

termonad

Terminal emulator configurable in Haskell.

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

elm-tooling-compiler

A backwards-compatible Elm compiler extended for Elm tooling

primal

Primitive World of Haskell

ghc-source-gen

Library for generating Haskell source files and code fragments.

scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

haskell-music

Source Code from "Making Music with Haskell" video

higher-order-unification

A small implementation of higher-order unification

full-fledged-hledger

Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

FindUnion

An imperative implementation of disjoint-set data structure in Haskell

Jazzkell

Haskell framework for generative models of jazz

stylish-haskell

Haskell code prettifier

caledon

higher order dependently typed logic programing

typist

karya

music sequencer and generalized notation

jgm

Haskell, C, Lua

koalaman

Haskell, Dockerfile, Shell

PostgREST

Nix, Shell, Haskell

haskell

Haskell, TeX, C

input-output-hk

Haskell, Nix, JavaScript

hadolint

github

JavaScript, Ruby, TypeScript

purescript

PureScript, Haskell, Dhall

sdiehl

Haskell, Python, C

facebook

C++, JavaScript, Python

ekmett

Haskell, Scala, Rust

elm

Elm, Haskell, JavaScript

jaspervdj

Haskell, Java, JavaScript

tweag

Haskell, Nix, Python

commercialhaskell

Haskell, HTML, Shell

ndmitchell

Haskell, JavaScript, C

carp-lang

HTML, Dockerfile, Haskell

unisonweb

GaloisInc

Haskell, C, Python

Gabriella439

Haskell, Nix, Dhall

simplex-chat

Haskell, TypeScript, Swift

yesodweb

Haskell, Shell, HTML

chrisdone

Haskell, Emacs Lisp, JavaScript

kowainik

Haskell, Dockerfile, Makefile

digitallyinduced

Haskell, JavaScript, TypeScript