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

hadolint

Dockerfile linter, validate inline bash, written in Haskell

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

unison

A friendly programming language from the future

hyperbole

Haskell interactive serverside web framework inspired by HTMX

MicroHs

Haskell implemented with combinators

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

hledger

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

cabal-audit

audit your cabal projects for haskell-specific security-advisories

nix-tree

Interactively browse dependency graphs of Nix derivations.

patat

Terminal-based presentations using Pandoc

xmonad

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

shmonad

A shell prompt with infinite customization

haskell-language-server

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

hasktorch

Tensors and neural networks in Haskell

compiler

Compiler for Elm, a functional language for reliable webapps.

semantic

Parsing, analyzing, and comparing source code across many languages

dosh

The power of Haskell in your terminal!

confer

The dotfiles manager

niv

Easy dependency management for Nix projects

pw-controller

Apply rules to pipewire links

cabal

Official upstream development repository for Cabal and cabal-install

futhark

💥💻💥 A data-parallel functional programming language

jacinda

Functional, expression-oriented data processing language

cachix

Command line client for Nix binary cache hosting:

view-monad

hspec

A Testing Framework for Haskell

reference-counting

WIP: Reference counting with linear types

Carp

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

blarney

Haskell library for hardware description

duckling

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

purescript

A strongly-typed language that compiles to JavaScript

samsort

A stable adaptive mergesort implementation

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

gifcurry

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

zurihac-2024-ghc-wasm

My ZuriHac 2024 project

agda

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

servant

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

ask

being a particular fragment of Haskell, extended to a proof system

miso

🍜 A tasty Haskell front-end framework

nix-serve-ng

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

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Simula

Linux VR Desktop

bluefin-algae

Algebraic effects in the Bluefin effect system

zero-bs-haskell

Learn Haskell, with tiny lessons.

rhine

Haskell Functional Reactive Programming framework with type-level clocks

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

hakatime

Wakatime server implementation & analytics dashboard

tinyapl

TinyAPL, a tiny APL dialect and interpreter in Haskell

ghcup-hs

haskell-function-graph

Compose Haskell functions to reach one type from another

opt-env-conf

greenclip

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

diagnose

A simple library for reporting compiler/interpreter errors

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

lens

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

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

hlint

Haskell source code suggestions

swarm

Resource gathering + programming game

web-view

Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI

sv2v

SystemVerilog to Verilog conversion

wasm-hs

Type-safe WASM eDSL in Haskell

nix-vscode-extensions

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

gitit

A wiki using HAppS, pandoc, and git

purerl

Erlang backend for the PureScript compiler

plutus

The Plutus language implementation and tools

ImplicitCAD

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

emanote

Emanate a structured view of your plain-text notes

haskell-tree-sitter

Haskell bindings for tree-sitter

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

effectful

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

dex-lang

Research language for array processing in the Haskell/ML family

linux_notification_center

A notification daemon/center for linux

pi-forall

A demo implementation of a simple dependently-typed language

ormolu

A formatter for Haskell source code

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

import-style-plugin

Keep your imports clean

hascard

flashcard TUI with markdown cards

pandoc-wasm

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

tamarin-prover

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

stan

🕵️ Haskell STatic ANalyser

OpenGL

Haskell bindings to OpenGL

static-ls

aura

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

wiwinwlh

What I Wish I Knew When Learning Haskell

tie

Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications.

hedis

A tiny fraction of redis, in Haskell

bsc

Bluespec Compiler (BSC)

free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).

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.

taskell

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

nvfetcher

Generate nix sources expr for the latest version of packages

hython

Haskell-powered Python 3 interpreter

figsynth

Polygonal synthesizer

hasql

The fastest PostgreSQL libpq-based driver for Haskell

jgm

Haskell, C, Lua

koalaman

Haskell, Shell, Dockerfile

PostgREST

Haskell, TeX, C

haskell

Haskell, TeX, C

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

simplex-chat

Haskell, HTML, TypeScript

tweag

Haskell, Nix, Python

commercialhaskell

Haskell, Shell, HTML

carp-lang

HTML, Emacs Lisp, C

ndmitchell

Haskell, TeX, JavaScript

unisonweb

GaloisInc

Haskell, C, Rust

Gabriella439

Haskell, Dhall, Nix

digitallyinduced

Haskell, JavaScript, TypeScript

yesodweb

Haskell, Shell, TeX

kowainik

Haskell, Dockerfile, Idris

chrisdone

Haskell, Emacs Lisp, JavaScript