Discover Germany's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Germany.
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 happinessquchen/articles
Miscellaneous articles. The readme is the table of contents.thma/LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patternspcapriotti/optparse-applicative
Applicative option parserkirel/detexify-hs-backend
Detexify Backend written in Haskelltmspzz/Rome
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many othersmaralorn/nix-output-monitor
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.ad-si/Perspec
Scriptable desktop app to correct the perspective of imagesquchen/stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.HeinrichApfelmus/reactive-banana
Library for functional reactive programming in Haskell.raviksharma/bartosz-basics-of-haskell
Code and exercises from Bartosz Milewski's Basics of Haskell Tutorialdef-/time.gif
GIF that always shows the current time in UTCthma/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 Machineinformatikr/hedis
A Redis client library for Haskell.quchen/prettyprinter
A modern, extensible and well-documented prettyprinter.nomeata/arbtt
arbtt, the automatic rule-based time-trackerad-si/TaskLite
The CLI task manager for power usersadvancedtelematic/quickcheck-state-machine
Test monadic programs using state machine based modelsdef-/gifstream
Make interactive games in Haskell using GIF streams that can be shown in the web browserthma/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 Haskelletorreborre/registry
Components as records of functions for Haskellquchen/generative-art
I wanted to make a nicer sticker for Munihac, then things got out of hand.nomeata/ghc-proofs
Let GHC prove program equations for youdef-/ghc-vis
Visualize live Haskell data structures in GHCibrunjlar/neural
Neural Nets in native Haskellnomeata/ghc-justdoit
A magic typeclass that just does itturion/rhine
Haskell Functional Reactive Programming framework with type-level clocksfmthoma/vgrep
A pager for grepkosmikus/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeXsimmsb/calamity
A library for writing discord bots in haskellRKlompUU/FPSheet
FPSheet: A Spreadsheet program with Haskell as the scripting languagenomeata/veggies
Hopefully verifiable code generation in GHCmvaldesdeleon/haskell-book
Exercises and code from "Haskell Programming from First Principles"I3ck/HGE2D
2D game engine written in Haskellkosmikus/SSGEP
digitallyinduced/ihp-blog-example-app
Example project showing the project structure of a simple blog app built with IHPquchen/stackage-everything
»I want Stackage on an airplane and I have only 3 minutes until takeoff«HeinrichApfelmus/operational
Implement monads by specifying instructions and their desired operational semantics.nomeata/gipeda
Git Performance DashboardHaskell-Things/HSlice
HSlice - A Haskell based slicer for 3D printing.andys8/git-brunch
Git branch checkout menukim/leveldb-haskell
Haskell bindings to LevelDB (https://github.com/google/leveldb)ethercrow/opentelemetry-haskell
The OpenTelemetry Haskell Client https://opentelemetry.ioHeinrichApfelmus/frp-guides
A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).informatikr/aeson-pretty
JSON pretty-printing library and command-line tool.dan-t/cabal-bounds
Set the version bounds of dependencies in a cabal filekritzcreek/psc-ide
DEPRECATED - Editor Support for the PureScript programming languageturion/essence-of-live-coding
Universal Live Coding & Functional Reactive Programming Frameworkkritzcreek/fby19
Type inference from scratch - Material for my talk at F(by)19fmthoma/ascii-art-to-unicode
Small program to convert ASCII box art to Unicode box drawings.skogsbaer/hscurses
ncurses binding for Haskellsharkdp/yinsh
A web-based version of the board game Yinshesoeylemez/netwire
FRP libraryfortytools/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)sjsyrek/study-haskell-nyc
Information about the "Haskell Programming from First Principles" reading group in NYC.esoeylemez/rapid
Rapid prototyping with GHCinomeata/haskell-for-readers
Lecture notes for teaching Haskell to those who want to read itthma/ThreepennyElectron
Demo for using Threepenny GUI together with Electron to create a portable Desktop GUI Application in Haskellmorgenthum/lambda-heights
A fast paced arcade gameUnisay/purescript-lua
Purescript compiler back-end for Luaskogsbaer/HTF
Haskell Test Frameworksheyll/type-spec
A tiny EDSL to write type-level-unit testsnomeata/ghc-heap-view
Extract the heap representation of Haskell values and thunkswaldheinz/ads
A Freenet clone written in Haskelllpeterse/haskell-socket
A Haskell binding to the POSIX sockets APIthemoritz/diener
Utility monad stack to be used in servantsebfisch/primes
Prime Numbers for HaskellFreeProving/free-compiler
A Haskell to Coq compiler that represents effectful programs with the free monadnomeata/bisect-binary
Tool to determine relevant parts of binary datalpeterse/haskell-mqtt
An MQTT protocol implementation (client and server)madjar/howoldis
Little web app displaying the age of the last NixOS channelsfroozen/kademlia
A haskell library implementing the Kademlia DHTkim/opentracing
OpenTracing (https://opentracing.io) for Haskellstschiff/sequenceTools
jhedev/todobackend-haskell
Todobackend implementations in Haskell using various frameworksesoeylemez/wires
FRP librarynomeata/haskell-on-fastly
Experiments about running Haskell via WebAssembly on Fastlymarhop/literate-binary
Integrate handcrafted binary and documentationmuesli4/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)..nomeata/kaleidogen
Grow procedual artssadler/hawk
Awk for Hoodlumsrootmos/silly-joy
Interpreter for Joy in Haskell using extensible-effectsscravy/bed-and-breakfast
Matrix operations in 100% pure Haskelljstepien/oh-no-my-flash-card-is-gone
In which I rescue my pictures from a broken FAT32 filesystem.sebfisch/haskell-regexp
Regular Expression Matching in Haskelltek/hix
Haskell/Nix development build toolslucalabs-de/end
Lightweight notification daemon displaying notifications as EWW widgetsnomeata/cabal-plan-bounds
Calculate Haskell dependency ranges from multiple build plansbrunjlar/protop
topos programmingHeinrichApfelmus/tomato-rubato
Tomato-rubato is an easy to use library for live audio programming in Haskell.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 libraryesoeylemez/foreign-store
Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.jan-christiansen/cabal-uninstall
Very simple Haskell script to uninstall cabal packagesthma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machineLove Open Source and this site? Check out how you can help us