🇩🇪 Made in Germany

Discover Germany's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Germany.

TOP Haskell Projects

1
digitallyinduced/ihp

digitallyinduced/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
Haskell
4,920
star
2
quchen/articles

quchen/articles

Miscellaneous articles. The readme is the table of contents.
Haskell
1,249
star
3
thma/LtuPatternFactory

thma/LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Haskell
989
star
4
pcapriotti/optparse-applicative

pcapriotti/optparse-applicative

Applicative option parser
Haskell
911
star
5
kirel/detexify-hs-backend

kirel/detexify-hs-backend

Detexify Backend written in Haskell
Haskell
875
star
6
tmspzz/Rome

tmspzz/Rome

Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
Haskell
819
star
7
maralorn/nix-output-monitor

maralorn/nix-output-monitor

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Haskell
806
star
8
ad-si/Perspec

ad-si/Perspec

Scriptable desktop app to correct the perspective of images
Haskell
583
star
9
quchen/stgi

quchen/stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
Haskell
526
star
10
HeinrichApfelmus/reactive-banana

HeinrichApfelmus/reactive-banana

Library for functional reactive programming in Haskell.
Haskell
522
star
11
raviksharma/bartosz-basics-of-haskell

raviksharma/bartosz-basics-of-haskell

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
Haskell
492
star
12
def-/time.gif

def-/time.gif

GIF that always shows the current time in UTC
Haskell
488
star
13
thma/WhyHaskellMatters

thma/WhyHaskellMatters

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
Haskell
466
star
14
HeinrichApfelmus/threepenny-gui

HeinrichApfelmus/threepenny-gui

GUI framework that uses the web browser as a display.
Haskell
441
star
15
nomeata/incredible

nomeata/incredible

The Incredible Proof Machine
Haskell
359
star
16
informatikr/hedis

informatikr/hedis

A Redis client library for Haskell.
Haskell
330
star
17
quchen/prettyprinter

quchen/prettyprinter

A modern, extensible and well-documented prettyprinter.
Haskell
293
star
18
nomeata/arbtt

nomeata/arbtt

arbtt, the automatic rule-based time-tracker
Haskell
261
star
19
ad-si/TaskLite

ad-si/TaskLite

The CLI task manager for power users
Haskell
204
star
20
advancedtelematic/quickcheck-state-machine

advancedtelematic/quickcheck-state-machine

Test monadic programs using state machine based models
Haskell
204
star
21
def-/gifstream

def-/gifstream

Make interactive games in Haskell using GIF streams that can be shown in the web browser
Haskell
199
star
22
thma/PolysemyCleanArchitecture

thma/PolysemyCleanArchitecture

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
Haskell
191
star
23
nomeata/inspection-testing

nomeata/inspection-testing

Inspection Testing for Haskell
Haskell
171
star
24
etorreborre/registry

etorreborre/registry

Components as records of functions for Haskell
Haskell
162
star
25
quchen/generative-art

quchen/generative-art

I wanted to make a nicer sticker for Munihac, then things got out of hand.
Haskell
148
star
26
nomeata/ghc-proofs

nomeata/ghc-proofs

Let GHC prove program equations for you
Haskell
146
star
27
def-/ghc-vis

def-/ghc-vis

Visualize live Haskell data structures in GHCi
Haskell
128
star
28
brunjlar/neural

brunjlar/neural

Neural Nets in native Haskell
Haskell
123
star
29
nomeata/ghc-justdoit

nomeata/ghc-justdoit

A magic typeclass that just does it
Haskell
120
star
30
turion/rhine

turion/rhine

Haskell Functional Reactive Programming framework with type-level clocks
Haskell
119
star
31
fmthoma/vgrep

fmthoma/vgrep

A pager for grep
Haskell
104
star
32
kosmikus/lhs2tex

kosmikus/lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX
Haskell
98
star
33
simmsb/calamity

simmsb/calamity

A library for writing discord bots in haskell
Haskell
98
star
34
RKlompUU/FPSheet

RKlompUU/FPSheet

FPSheet: A Spreadsheet program with Haskell as the scripting language
Haskell
95
star
35
nomeata/veggies

nomeata/veggies

Hopefully verifiable code generation in GHC
Haskell
92
star
36
mvaldesdeleon/haskell-book

mvaldesdeleon/haskell-book

Exercises and code from "Haskell Programming from First Principles"
Haskell
90
star
37
I3ck/HGE2D

I3ck/HGE2D

2D game engine written in Haskell
Haskell
90
star
38
kosmikus/SSGEP

kosmikus/SSGEP

Haskell
87
star
39
digitallyinduced/ihp-blog-example-app

digitallyinduced/ihp-blog-example-app

Example project showing the project structure of a simple blog app built with IHP
Haskell
85
star
40
quchen/stackage-everything

quchen/stackage-everything

»I want Stackage on an airplane and I have only 3 minutes until takeoff«
Haskell
83
star
41
HeinrichApfelmus/operational

HeinrichApfelmus/operational

Implement monads by specifying instructions and their desired operational semantics.
Haskell
82
star
42
nomeata/gipeda

nomeata/gipeda

Git Performance Dashboard
Haskell
76
star
43
Haskell-Things/HSlice

Haskell-Things/HSlice

HSlice - A Haskell based slicer for 3D printing.
Haskell
75
star
44
andys8/git-brunch

andys8/git-brunch

Git branch checkout menu
Haskell
70
star
45
kim/leveldb-haskell

kim/leveldb-haskell

Haskell bindings to LevelDB (https://github.com/google/leveldb)
Haskell
66
star
46
ethercrow/opentelemetry-haskell

ethercrow/opentelemetry-haskell

The OpenTelemetry Haskell Client https://opentelemetry.io
Haskell
65
star
47
HeinrichApfelmus/frp-guides

HeinrichApfelmus/frp-guides

A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
Haskell
65
star
48
informatikr/aeson-pretty

informatikr/aeson-pretty

JSON pretty-printing library and command-line tool.
Haskell
64
star
49
dan-t/cabal-bounds

dan-t/cabal-bounds

Set the version bounds of dependencies in a cabal file
Haskell
64
star
50
kritzcreek/psc-ide

kritzcreek/psc-ide

DEPRECATED - Editor Support for the PureScript programming language
Haskell
62
star
51
turion/essence-of-live-coding

turion/essence-of-live-coding

Universal Live Coding & Functional Reactive Programming Framework
Haskell
62
star
52
kritzcreek/fby19

kritzcreek/fby19

Type inference from scratch - Material for my talk at F(by)19
Haskell
62
star
53
fmthoma/ascii-art-to-unicode

fmthoma/ascii-art-to-unicode

Small program to convert ASCII box art to Unicode box drawings.
Haskell
61
star
54
skogsbaer/hscurses

skogsbaer/hscurses

ncurses binding for Haskell
Haskell
60
star
55
sharkdp/yinsh

sharkdp/yinsh

A web-based version of the board game Yinsh
Haskell
59
star
56
esoeylemez/netwire

esoeylemez/netwire

FRP library
Haskell
59
star
57
fortytools/holumbus

fortytools/holumbus

A Haskell library which provides the basic building blocks for creating powerful indexing and search applications.
Haskell
57
star
58
minad/paripari

minad/paripari

Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
Haskell
56
star
59
liqd/thentos

liqd/thentos

A tool for privacy-preserving identity management (PPIM)
Haskell
56
star
60
sjsyrek/study-haskell-nyc

sjsyrek/study-haskell-nyc

Information about the "Haskell Programming from First Principles" reading group in NYC.
Haskell
55
star
61
esoeylemez/rapid

esoeylemez/rapid

Rapid prototyping with GHCi
Haskell
55
star
62
nomeata/haskell-for-readers

nomeata/haskell-for-readers

Lecture notes for teaching Haskell to those who want to read it
Haskell
53
star
63
thma/ThreepennyElectron

thma/ThreepennyElectron

Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell
Haskell
52
star
64
morgenthum/lambda-heights

morgenthum/lambda-heights

A fast paced arcade game
Haskell
52
star
65
Unisay/purescript-lua

Unisay/purescript-lua

Purescript compiler back-end for Lua
Haskell
51
star
66
skogsbaer/HTF

skogsbaer/HTF

Haskell Test Framework
Haskell
51
star
67
sheyll/type-spec

sheyll/type-spec

A tiny EDSL to write type-level-unit tests
Haskell
49
star
68
nomeata/ghc-heap-view

nomeata/ghc-heap-view

Extract the heap representation of Haskell values and thunks
Haskell
48
star
69
waldheinz/ads

waldheinz/ads

A Freenet clone written in Haskell
Haskell
48
star
70
lpeterse/haskell-socket

lpeterse/haskell-socket

A Haskell binding to the POSIX sockets API
Haskell
47
star
71
themoritz/diener

themoritz/diener

Utility monad stack to be used in servant
Haskell
46
star
72
sebfisch/primes

sebfisch/primes

Prime Numbers for Haskell
Haskell
45
star
73
FreeProving/free-compiler

FreeProving/free-compiler

A Haskell to Coq compiler that represents effectful programs with the free monad
Haskell
45
star
74
nomeata/bisect-binary

nomeata/bisect-binary

Tool to determine relevant parts of binary data
Haskell
44
star
75
lpeterse/haskell-mqtt

lpeterse/haskell-mqtt

An MQTT protocol implementation (client and server)
Haskell
44
star
76
madjar/howoldis

madjar/howoldis

Little web app displaying the age of the last NixOS channels
Haskell
44
star
77
froozen/kademlia

froozen/kademlia

A haskell library implementing the Kademlia DHT
Haskell
43
star
78
kim/opentracing

kim/opentracing

OpenTracing (https://opentracing.io) for Haskell
Haskell
40
star
79
stschiff/sequenceTools

stschiff/sequenceTools

Haskell
39
star
80
jhedev/todobackend-haskell

jhedev/todobackend-haskell

Todobackend implementations in Haskell using various frameworks
Haskell
39
star
81
esoeylemez/wires

esoeylemez/wires

FRP library
Haskell
39
star
82
nomeata/haskell-on-fastly

nomeata/haskell-on-fastly

Experiments about running Haskell via WebAssembly on Fastly
Haskell
38
star
83
marhop/literate-binary

marhop/literate-binary

Integrate handcrafted binary and documentation
Haskell
37
star
84
muesli4/table-layout

muesli4/table-layout

Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on specific characters and limiting of cell width)..
Haskell
37
star
85
nomeata/kaleidogen

nomeata/kaleidogen

Grow procedual art
Haskell
36
star
86
ssadler/hawk

ssadler/hawk

Awk for Hoodlums
Haskell
35
star
87
rootmos/silly-joy

rootmos/silly-joy

Interpreter for Joy in Haskell using extensible-effects
Haskell
33
star
88
scravy/bed-and-breakfast

scravy/bed-and-breakfast

Matrix operations in 100% pure Haskell
Haskell
33
star
89
jstepien/oh-no-my-flash-card-is-gone

jstepien/oh-no-my-flash-card-is-gone

In which I rescue my pictures from a broken FAT32 filesystem.
Haskell
33
star
90
sebfisch/haskell-regexp

sebfisch/haskell-regexp

Regular Expression Matching in Haskell
Haskell
33
star
91
tek/hix

tek/hix

Haskell/Nix development build tools
Haskell
33
star
92
lucalabs-de/end

lucalabs-de/end

Lightweight notification daemon displaying notifications as EWW widgets
Haskell
32
star
93
nomeata/cabal-plan-bounds

nomeata/cabal-plan-bounds

Calculate Haskell dependency ranges from multiple build plans
Haskell
32
star
94
brunjlar/protop

brunjlar/protop

topos programming
Haskell
31
star
95
HeinrichApfelmus/tomato-rubato

HeinrichApfelmus/tomato-rubato

Tomato-rubato is an easy to use library for live audio programming in Haskell.
Haskell
30
star
96
SAP-archive/bosh-kubernetes-cpi-release

SAP-archive/bosh-kubernetes-cpi-release

The goal for this project is to provide a fully functional BOSH CPI. It will eventually allow to deploy any BOSH release to any Kubernetes cluster.
Haskell
29
star
97
lindenbaum/hinterface

lindenbaum/hinterface

Haskell / Erlang interoperability library
Haskell
29
star
98
esoeylemez/foreign-store

esoeylemez/foreign-store

Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.
Haskell
29
star
99
jan-christiansen/cabal-uninstall

jan-christiansen/cabal-uninstall

Very simple Haskell script to uninstall cabal packages
Haskell
28
star
100
thma/lambda-ski

thma/lambda-ski

Implementing a small functional language with a combinator based graph-reduction machine
Haskell
28
star