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

Trending Repositories

1

wstunnel

Tunneling over websocket protocol - Static binary available
🔥🔥🔥
2

postgrest

REST API for any Postgres database
🔥🔥
3

shellcheck

ShellCheck, a static analysis tool for shell scripts
🔥
4

pandoc

Universal markup converter
🔥
5

xdg-ninja

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

nix-output-monitor

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

koka

Koka language compiler and interpreter
📣
8

unison

A friendly programming language from the future
📣
9

hadolint

Dockerfile linter, validate inline bash, written in Haskell
⬆️
10

semantic

Parsing, analyzing, and comparing source code across many languages
⬆️
11

simplex-chat

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

nix-tree

Interactively browse dependency graphs of Nix derivations.
⬆️
13

software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
⬆️
14

kmonad

An advanced keyboard manager
⬆️
15

duckling

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

simplexmq

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

hledger

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

HPi

Library to access the GPIO pins on a Raspberry Pi from Haskell.
⬆️
19

hasktorch

Tensors and neural networks in Haskell
⬆️
20

mig

Lightweight and composable servers for Haskell
⬆️
21

ttyd64

PM64 romhack that adds TTYD's gameplay into the original Paper Mario.
⬆️
22

sv2v

SystemVerilog to Verilog conversion
⬆️
23

niv

Easy dependency management for Nix projects
⬆️
24

trace-foreign-calls

GHC plugin to add eventlog tracing for foreign function calls
⬆️
25

haskell-tdlib

TDLib (Telegram Database library) JSON bindings for Haskell
⬆️
26

ghc-wasm-miso-examples

⬆️
27

kit

Kit: a magical, high performance programming language, designed for game development.
⬆️
28

mtl

The Monad Transformer Library
⬆️
29

agda

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

ImplicitCAD

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

lamdu

lamdu - towards the next generation IDE
⬆️
32

brick

A declarative Unix terminal UI library written in Haskell
⬆️
33

tokenize

Simple tokenizer for English text
⬆️
34

awesome-haskell

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

Carp

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

emanote

Emanate a structured view of your plain-text notes
⬆️
37

haskell

Haskell bindings for TensorFlow
⬆️
38

futhark

💥💻💥 A data-parallel functional programming language
⬆️
39

cachix

Command line client for Nix binary cache hosting:
⬆️
40

tie

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

taskell

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

Simula

Linux VR Desktop
⬆️
43

cabal-build-info

⬆️
44

miso

🍜 A tasty Haskell front-end framework
⬆️
45

patat

Terminal-based presentations using Pandoc
⬆️
46

vector

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

linux_notification_center

A notification daemon/center for linux
⬆️
48

granule

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

thinking-with-types

📖 source material for Thinking with Types
⬆️
50

tinyapl

TinyAPL, a tiny APL dialect and interpreter in Haskell
⬆️
51

saw-script

The SAW scripting language.
⬆️
52

HasChor

Functional choreographic programming in Haskell
⬆️
53

purescript

A strongly-typed language that compiles to JavaScript
⬆️
54

ispc

a small stub for compiling and linking ispc code with haskell
⬆️
55

python-pickle

Serialization/deserialization using Python Pickle format
⬆️
56

purerl

Erlang backend for the PureScript compiler
⬆️
57

portcullis

A minimalist / functional / dataflow programming language
⬆️
58

gluturtle

library for program like LOGO's turtle with using Haskell and glut
⬆️
59

oczor

Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp
⬆️
60

aura

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

mulang

🎍 Universal, Multi Language, Multi Paradigm code analyzer
⬆️
62

camfort

Light-weight verification and transformation tools for Fortran
⬆️
63

Advent-Of-Code

Advent Of Code
⬆️
64

three-layer

3️⃣ 🍰 Architecture of the Haskell web applications
⬆️
65

servant

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

yesod

A RESTful Haskell web framework built on WAI.
⬆️
67

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).
⬆️
68

amulet

An ML-like functional programming language
⬆️
69

microlens

A lightweight (but compatible with ‘lens’) lenses library
⬆️
70

morpheus-graphql

Haskell GraphQL Api, Client and Tools
⬆️
71

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler
⬆️
72

elm2nix

Convert Elm project into Nix expressions
⬆️
73

EvEff

Efficient Haskell effect handlers based on evidence translation.
⬆️
74

hasql-pool

A pool of connections for Hasql
⬆️
75

klfc

Keyboard Layout Files Creator
⬆️
76

haskell-hedgehog

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

notes

⬆️
78

mrreason-setup

Design, ideas and motivation for my TidalCycles setup.
⬆️
79

DeepLearning

Neural networks using parametric prelenses and Trimbara modules
⬆️
80

play-haskell

Haskell Playground
⬆️
81

motor

Type-safe effectful state machines in Haskell
⬆️
82

stylish-haskell

Haskell code prettifier
⬆️
83

zero-bs-haskell

Learn Haskell, with tiny lessons.
⬆️
84

Algorithm-W-Step-By-Step

Classic Algorithm W for type inference.
⬆️
85

gotta-go-fast

A command line utility for practicing typing and measuring your WPM and accuracy.
⬆️
86

arbtt

arbtt, the automatic rule-based time-tracker
⬆️
87

hs-term-emulator

Terminal Emulator written in 100% Haskell
⬆️
88

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
⬆️
89

Hagl

A Haskell DSEL for experimental game theory.
⬆️
90

ormolu

A formatter for Haskell source code
⬆️
91

lens

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

directory

Platform-independent library for basic file system operations
⬆️
93

tetris

A terminal interface for Tetris
⬆️
94

jsaddle-wasm

JSaddle integration for the GHC WASM backend
⬆️
95

BottomTsh

A Dependently Timed Drum Machine Language
⬆️
96

gerty

A small implementation of graded modal dependent type theory. A younger cousin to Granule.
⬆️
97

egison

The Egison Programming Language
⬆️
98

opentelemetry-plugin

GHC plugin for open telemetry
⬆️
99

gmcheck

⬆️
100

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
⬆️