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

Trending Repositories

1

shellcheck

ShellCheck, a static analysis tool for shell scripts
🔥🔥🔥
2

pandoc

Universal markup converter
🔥🔥🔥
3

wstunnel

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

postgrest

REST API for any Postgres database
🔥🔥🔥
5

hadolint

Dockerfile linter, validate inline bash, written in Haskell
🔥
6

simplex-chat

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

nix-output-monitor

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

xdg-ninja

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

nix-tree

Interactively browse dependency graphs of Nix derivations.
📣
10

unison

A friendly programming language from the future
📣
11

kmonad

An advanced keyboard manager
📣
12

koka

Koka language compiler and interpreter
📣
13

MicroHs

Haskell implemented with combinators
📣
14

hledger

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

cabal-gild

👑 Format Haskell package descriptions.
⬆️
16

niv

Easy dependency management for Nix projects
⬆️
17

semantic

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

iter

🔁 Code iteration tool running on Groq
⬆️
19

purescript

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

flatparse

Fast parsing from bytestrings
⬆️
21

futhark

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

taskell

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

Carp

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

nixpkgs-update

Updating nixpkgs packages since 2018
⬆️
25

BinSym

Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
⬆️
26

imp

😈 Automatically import Haskell modules.
⬆️
27

duckling

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

placeholder

todo and unimplemented, robustly implemented
⬆️
29

monomer

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

nix-diff

Explain why two Nix derivations differ
⬆️
31

patat

Terminal-based presentations using Pandoc
⬆️
32

typed-fsm

typed finite-state machine
⬆️
33

mig

Lightweight and composable servers for Haskell
⬆️
34

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

effectful

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

miso

🍜 A tasty Haskell front-end framework
⬆️
37

brick

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

TaskLite

The CLI task manager for power users
⬆️
39

purerl

Erlang backend for the PureScript compiler
⬆️
40

nix-vscode-extensions

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

reactimate

A Haskell libary for fast arrowized FRP based on signal functions
⬆️
42

juvix

A language for intent-centric and declarative decentralised applications
⬆️
43

compiler

Compiler for Elm, a functional language for reliable webapps.
⬆️
44

copilot

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

cachix

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

dedekind

⬆️
47

TinyOutsideIn

Small implementation of OutsideIn(X) type checking algorithm
⬆️
48

texmath

A Haskell library for converting LaTeX math to MathML.
⬆️
49

emanote

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

boreal

⬆️
51

purescript-lua

Purescript compiler back-end for Lua
⬆️
52

alga

Algebraic graphs
⬆️
53

lawvere

A categorical programming language with effects
⬆️
54

haskell-language-server

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

Monalog

Terminal logs observer
⬆️
56

trace-foreign-calls

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

agda

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

granule

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

ghc-wasm-miso-examples

⬆️
60

sv2v

SystemVerilog to Verilog conversion
⬆️
61

aith

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

tip-toi-reveng

Trying to understand the file format of Tip Toi
⬆️
63

simplexmq

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

arbtt

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

vega

A dependently typed programming language with direct style effects and linearity
⬆️
66

cornelis

agda-mode for neovim
⬆️
67

aura

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

cabal

Official upstream development repository for Cabal and cabal-install
⬆️
69

software-design-in-haskell

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

ImplicitCAD

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

botan

Haskell bindings for the Botan cryptography library
⬆️
72

linux_notification_center

A notification daemon/center for linux
⬆️
73

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
⬆️
74

skyscope

A tool for visualising and exploring Bazel Skyframe graphs.
⬆️
75

haskell-gi

Generate Haskell bindings for GObject-Introspection capable libraries
⬆️
76

tamarin-prover

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

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

eff

🚧 a work in progress effect system for Haskell 🚧
⬆️
79

lsm-tree

A library for on-disk tables based on LSM-trees
⬆️
80

ad

Automatic Differentiation
⬆️
81

data-analysis-with-haskell

Short data science / analysis projects in Haskell
⬆️
82

dmdanal-proto

Prototype for better DmdAnal
⬆️
83

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

awesome-haskell

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

lambda-mu-mu-calculus

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

nix-package-versions

Search for old versions of Nix packages
⬆️
87

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler
⬆️
88

stack

The Haskell Tool Stack
⬆️
89

HasChor

Functional choreographic programming in Haskell
⬆️
90

zero-bs-haskell

Learn Haskell, with tiny lessons.
⬆️
91

neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
⬆️
92

Simula

Linux VR Desktop
⬆️
93

compiler

The adventures of a Haskell compiler
⬆️
94

hasktorch

Tensors and neural networks in Haskell
⬆️
95

HPi

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

mtl

The Monad Transformer Library
⬆️
97

frp-zoo

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

ogma

⬆️
99

postgres-explain-visualizer

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

hs-zuramaru

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