π©πͺ 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
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-Things/ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
quchen/articles
Miscellaneous articles. The readme is the table of contents.
thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
pcapriotti/optparse-applicative
Applicative option parser
kirel/detexify-hs-backend
Detexify Backend written in Haskell
tmspzz/Rome
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others
maralorn/nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
feramhq/Perspec
Scriptable desktop app to correct the perspective of images
HeinrichApfelmus/reactive-banana
Library for functional reactive programming in Haskell.
quchen/stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
raviksharma/bartosz-basics-of-haskell
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
def-/time.gif
GIF that always shows the current time in UTC
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.
HeinrichApfelmus/threepenny-gui
GUI framework that uses the web browser as a display.
nomeata/incredible
The Incredible Proof Machine
informatikr/hedis
A Redis client library for Haskell.
quchen/prettyprinter
A modern, extensible and well-documented prettyprinter.
nomeata/arbtt
arbtt, the automatic rule-based time-tracker
advancedtelematic/quickcheck-state-machine
Test monadic programs using state machine based models
def-/gifstream
Make interactive games in Haskell using GIF streams that can be shown in the web browser
thma/PolysemyCleanArchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
nomeata/inspection-testing
Inspection Testing for Haskell
etorreborre/registry
Components as records of functions for Haskell
nomeata/ghc-proofs
Let GHC prove program equations for you
quchen/generative-art
I wanted to make a nicer sticker for Munihac, then things got out of hand.
yannick-cw/notion-ocr
Adding OCR support to Notion
def-/ghc-vis
Visualize live Haskell data structures in GHCi
brunjlar/neural
Neural Nets in native Haskell
nomeata/ghc-justdoit
A magic typeclass that just does it
turion/rhine
Haskell Functional Reactive Programming framework with type-level clocks
fmthoma/vgrep
A pager for grep
simmsb/calamity
A library for writing discord bots in haskell
kosmikus/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
RKlompUU/FPSheet
FPSheet: A Spreadsheet program with Haskell as the scripting language
nomeata/veggies
Hopefully verifiable code generation in GHC
I3ck/HGE2D
2D game engine written in Haskell
kosmikus/SSGEP
mvaldesdeleon/haskell-book
Exercises and code from "Haskell Programming from First Principles"
quchen/stackage-everything
Β»I want Stackage on an airplane and I have only 3 minutes until takeoffΒ«
digitallyinduced/ihp-blog-example-app
Example project showing the project structure of a simple blog app built with IHP
HeinrichApfelmus/operational
Implement monads by specifying instructions and their desired operational semantics.
nomeata/gipeda
Git Performance Dashboard
andys8/git-brunch
Git branch checkout menu
Haskell-Things/HSlice
HSlice - A Haskell based slicer for 3D printing.
kim/leveldb-haskell
Haskell bindings to LevelDB (https://github.com/google/leveldb)
HeinrichApfelmus/frp-guides
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).
dan-t/cabal-bounds
Set the version bounds of dependencies in a cabal file
informatikr/aeson-pretty
JSON pretty-printing library and command-line tool.
kritzcreek/psc-ide
DEPRECATED - Editor Support for the PureScript programming language
ethercrow/opentelemetry-haskell
The OpenTelemetry Haskell Client https://opentelemetry.io
turion/essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Framework
kritzcreek/fby19
Type inference from scratch - Material for my talk at F(by)19
skogsbaer/hscurses
ncurses binding for Haskell
fmthoma/ascii-art-to-unicode
Small program to convert ASCII box art to Unicode box drawings.
sharkdp/yinsh
A web-based version of the board game Yinsh
esoeylemez/netwire
FRP library
fortytools/holumbus
A Haskell library which provides the basic building blocks for creating powerful indexing and search applications.
minad/paripari
Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
liqd/thentos
A tool for privacy-preserving identity management (PPIM)
esoeylemez/rapid
Rapid prototyping with GHCi
sjsyrek/study-haskell-nyc
Information about the "Haskell Programming from First Principles" reading group in NYC.
nomeata/haskell-for-readers
Lecture notes for teaching Haskell to those who want to read it
morgenthum/lambda-heights
A fast paced arcade game
thma/ThreepennyElectron
Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskell
skogsbaer/HTF
Haskell Test Framework
sheyll/type-spec
A tiny EDSL to write type-level-unit tests
waldheinz/ads
A Freenet clone written in Haskell
nomeata/ghc-heap-view
Extract the heap representation of Haskell values and thunks
lpeterse/haskell-socket
A Haskell binding to the POSIX sockets API
themoritz/diener
Utility monad stack to be used in servant
sebfisch/primes
Prime Numbers for Haskell
FreeProving/free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monad
nomeata/bisect-binary
Tool to determine relevant parts of binary data
madjar/howoldis
Little web app displaying the age of the last NixOS channels
lpeterse/haskell-mqtt
An MQTT protocol implementation (client and server)
froozen/kademlia
A haskell library implementing the Kademlia DHT
kim/opentracing
OpenTracing (https://opentracing.io) for Haskell
jhedev/todobackend-haskell
Todobackend implementations in Haskell using various frameworks
esoeylemez/wires
FRP library
marhop/literate-binary
Integrate handcrafted binary and documentation
stschiff/sequenceTools
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)..
Unisay/purescript-lua
Purescript compiler back-end for Lua
nomeata/haskell-on-fastly
Experiments about running Haskell via WebAssembly on Fastly
nomeata/kaleidogen
Grow procedual art
ssadler/hawk
Awk for Hoodlums
jstepien/oh-no-my-flash-card-is-gone
In which I rescue my pictures from a broken FAT32 filesystem.
rootmos/silly-joy
Interpreter for Joy in Haskell using extensible-effects
scravy/bed-and-breakfast
Matrix operations in 100% pure Haskell
sebfisch/haskell-regexp
Regular Expression Matching in Haskell
tek/hix
Haskell/Nix development build tools
HeinrichApfelmus/tomato-rubato
Tomato-rubato is an easy to use library for live audio programming in Haskell.
brunjlar/protop
topos programming
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.
lindenbaum/hinterface
Haskell / Erlang interoperability library
thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
nomeata/cabal-plan-bounds
Calculate Haskell dependency ranges from multiple build plans
frerich/catamorphism
A package exposing a function for generating catamorphisms.
jan-christiansen/cabal-uninstall
Very simple Haskell script to uninstall cabal packages