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

wstunnel

Tunneling over websocket protocol - Static binary available

shellcheck

ShellCheck, a static analysis tool for shell scripts

pandoc

Universal markup converter

postgrest

REST API for any Postgres database

simplex-chat

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

xdg-ninja

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

hadolint

Dockerfile linter, validate inline bash, written in Haskell

koka

Koka language compiler and interpreter

turnstyle

Turnstyle is a graphical esoteric programming language based on lambda calculus

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.

MicroHs

Haskell implemented with combinators

hledger

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

aura

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

view-monad

nix-tree

Interactively browse dependency graphs of Nix derivations.

semantic

Parsing, analyzing, and comparing source code across many languages

agda

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

shmonad

A shell prompt with infinite customization

patat

Terminal-based presentations using Pandoc

opt-env-conf

haskell-language-server

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

diagnose

A simple library for reporting compiler/interpreter errors

emoji-board

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Carp

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

hs-opentelemetry-instrumentation-servant

OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.

compiler

Compiler for Elm, a functional language for reliable webapps.

emanote

Emanate a structured view of your plain-text notes

ecta

nixpkgs-update

Updating nixpkgs packages since 2018

rhine

Haskell Functional Reactive Programming framework with type-level clocks

pandoc-wasm

The universal document converter, compiled for WebAssembly and running in the browser.

zurihac-2024-ghc-wasm

My ZuriHac 2024 project

xmonad

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

matterhorn

A feature-rich Unix terminal client for the Mattermost chat system

dnsext

Extensible DNS libraries written purely in Haskell

reference-counting

Reference counting with linear types

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.

sv2v

SystemVerilog to Verilog conversion

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

ormolu

A formatter for Haskell source code

fused-effects

A fast, flexible, fused effect system for Haskell

greenclip

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

servant

Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!

nix-diff

Explain why two Nix derivations differ

niv

Easy dependency management for Nix projects

MicroCabal

Reimplementation of a subset of Cabal

hasktorch

Tensors and neural networks in Haskell

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

oama

OAuth credential Manager

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

erd

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

duckling

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

hspec

A Testing Framework for Haskell

futhark

💥💻💥 A data-parallel functional programming language

bsc

Bluespec Compiler (BSC)

cachix

Command line client for Nix binary cache hosting:

haskell-tree-sitter

Haskell bindings for tree-sitter

pipewire.hs

Haskell bindings to Pipewire Multimedia Framework

gifcurry

😎 The open-source, Haskell-built video editor for GIF makers.

plutus

The Plutus language implementation and tools

llvm-ssa-to-functional

Translator from LLVM-IR in SSA form to Haskell

ap-e2024-pub

Public repository for Advanced Programming

monocle

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

miso

🍜 A tasty Haskell front-end framework

ghcup-hs

purescript

A strongly-typed language that compiles to JavaScript

cs316-functional-programming

CS316 "Functional Programming" lecture notes

cabal

Official upstream development repository for Cabal and cabal-install

hlint

Haskell source code suggestions

grapesy

Native Haskell gRPC client and server based on `http2`

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

dex-lang

Research language for array processing in the Haskell/ML family

hakatime

Wakatime server implementation & analytics dashboard

scotty

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

csound-expression

Haskell Framework for Electronic Music

espial

Espial is an open-source, web-based bookmarking server.

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

unliftio-servant-server

Use MonadUnliftIO on servant APIs

nix-vscode-extensions

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

optics

Optics as an abstract interface

effectful

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

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

path

lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

nix-serve-ng

A drop-in replacement for nix-serve that is faster and more reliable

delta

Implementation of the Delta Language

ghc-wasm-earthly

GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly

stack

The Haskell Tool Stack

poset-type-theory

Experimental implementation of a Cubical Type Theory modeled by presheaves over posets

cabal-add

Extend Cabal build-depends from the command line

purerl

Erlang backend for the PureScript compiler

granule

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

onory

High-level language embedded in Haskell for specifying distributed algorithms/systems

streamly

High performance, concurrent functional programming abstractions

swarm

Resource gathering + programming game

pub

A CLI tool for piping from stdin to a redis pub/sub channel.

pi-forall

A demo implementation of a simple dependently-typed language

Simula

Linux VR Desktop

jgm

Haskell, C, Lua

koalaman

Haskell, Dockerfile, Shell

PostgREST

Haskell, Shell, TeX

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, JavaScript, Java

simplex-chat

Haskell, HTML, JavaScript

tweag

Haskell, Nix, Python

commercialhaskell

Haskell, Shell, HTML

carp-lang

HTML, C, Haskell

ndmitchell

Haskell, TeX, JavaScript

unisonweb

Elm, CSS, Shell

GaloisInc

Haskell, C, Rust

Gabriella439

Haskell, Nix, Dhall

digitallyinduced

Haskell, JavaScript, TypeScript

yesodweb

Haskell, Shell, TeX

chrisdone

Haskell, Emacs Lisp, JavaScript

kowainik

Haskell, HTML, Makefile