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

pandoc

Universal markup converter

postgrest

REST API for any Postgres database

shellcheck

ShellCheck, a static analysis tool for shell scripts

traderjoes

Price tracking program and website for Trader Joe's, updated daily.

wstunnel

Tunneling over websocket protocol - Static binary available

simplex-chat

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

koka

Koka language compiler and interpreter

nixfmt

A formatter for Nix code

hadolint

Dockerfile linter, validate inline bash, written in Haskell

nix-output-monitor

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

kmonad

An advanced keyboard manager

unison

A friendly programming language from the future

xdg-ninja

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

nix-tree

Interactively browse dependency graphs of Nix derivations.

conduct

A cross-platform UI framework for Haskell

purescript

A strongly-typed language that compiles to JavaScript

hledger

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

ghcitui

A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode

niv

Easy dependency management for Nix projects

static-ls

futhark

💥💻💥 A data-parallel functional programming language

compiler

Compiler for Elm, a functional language for reliable webapps.

flatparse

Fast parsing from bytestrings

agda

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

semantic

Parsing, analyzing, and comparing source code across many languages

brick

A declarative Unix terminal UI library written in Haskell

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

nixpkgs-update

Updating nixpkgs packages since 2018

nix-diff

Explain why two Nix derivations differ

Carp

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

taskell

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

nix-vscode-extensions

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

juvix

A language for intent-centric and declarative decentralised applications

mig

Lightweight and composable servers for Haskell

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

effectful

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

purerl

Erlang backend for the PureScript compiler

patat

Terminal-based presentations using Pandoc

tetris

A terminal interface for Tetris

kindly-functors

A category polymorphic `Functor` typeclass.

imp

😈 Automatically import Haskell modules.

placeholder

todo and unimplemented, robustly implemented

cachix

Command line client for Nix binary cache hosting:

aura

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

dedekind

texmath

A Haskell library for converting LaTeX math to MathML.

miso

🍜 A tasty Haskell front-end framework

ormolu

A formatter for Haskell source code

reactimate

A Haskell libary for fast arrowized FRP based on signal functions

alga

Algebraic graphs

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

LinearLens

Monalog

Terminal logs observer

duckling

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

botan

Haskell bindings for the Botan cryptography library

Simula

Linux VR Desktop

boreal

hpack

hpack: A modern format for Haskell packages

haskell-language-server

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

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

TinyOutsideIn

Small implementation of OutsideIn(X) type checking algorithm

simplexmq

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

dapptools

Dapp, Seth, Hevm, and more

cornelis

agda-mode for neovim

megaparsec

Industrial-strength monadic parser combinator library

koneko

koneko - a concatenative not-quite-lisp for kittens

nanopass

Haskell port of the Nanopass Compiler Framework

tip-toi-reveng

Trying to understand the file format of Tip Toi

ghc-wasm-miso-examples

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

lsp

Haskell library for the Microsoft Language Server Protocol

stack

The Haskell Tool Stack

postgres-explain-visualizer

Postgres Explain Visualizer, based on PEV2 but with a backend.

pi-forall

A demo implementation of a simple dependently-typed language

nothunks

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.

grapesy

Native Haskell gRPC client and server based on `http2`

aith

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

emanote

Emanate a structured view of your plain-text notes

skyscope

A tool for visualising and exploring Bazel Skyframe graphs.

hell

text

Haskell library for space- and time-efficient operations over Unicode text.

AIT

Algorithmic Information Theory, using Binary Lambda Calculus

lawvere

A categorical programming language with effects

wasm-hs

Type-safe WASM eDSL in Haskell

purescript-lua

Purescript compiler back-end for Lua

ghcid

Very low feature GHCi based IDE

lambda-mu-mu-calculus

Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

mtl

The Monad Transformer Library

cabal

Official upstream development repository for Cabal and cabal-install

arbtt

arbtt, the automatic rule-based time-tracker

opentelemetry-plugin

GHC plugin for open telemetry

monocle

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

PropR

Genetic program repair using GHC

hs-zuramaru

Lisp方言ずら〜。え！？これを使えばQuasiQuotesでコンパイル時Lispが書けるずら！？

halive

Live recompiler for Haskell

jgm

Haskell, C, Lua

koalaman

Haskell, Shell, Dockerfile

PostgREST

Haskell, PLpgSQL, Nix

haskell

Haskell, TeX, HTML

input-output-hk

Haskell, Nix, JavaScript

hadolint

github

JavaScript, Ruby, TypeScript

purescript

PureScript, Haskell, Shell

sdiehl

Haskell, Python, C

facebook

C++, JavaScript, Python

ekmett

Haskell, Scala, Rust

elm

Elm, Haskell, JavaScript

jaspervdj

Haskell, Java, JavaScript

tweag

Haskell, Nix, Python

simplex-chat

Haskell, HTML, JavaScript

ndmitchell

Haskell, JavaScript, C

carp-lang

HTML, C, Emacs Lisp

commercialhaskell

Haskell, Shell, HTML

unisonweb

Elm, CSS, TypeScript

GaloisInc

Haskell, C, Python

Gabriella439

Haskell, Nix, Dhall

yesodweb

Haskell, Shell, TeX

kowainik

Haskell, Makefile, Dockerfile

chrisdone

Haskell, Emacs Lisp, JavaScript

digitallyinduced

Haskell, JavaScript, TypeScript