phagenlocher
Haskeller; Loves functional programming; Author of "Learn Haskell by Example"
NatuvionGermany
Pinned Repositories
braincheck
🧠🔍 A static and dynamic analyzer for Brainfuck
C-Snake
🐍 Snake, written in C with ncurses
learn-haskell-by-example
📖 Projects showcased in the book "Learn Haskell by Example"
mochi
✔ LTL Model Checker
pipes.go
🕳 A pipes.sh clone written in Golang
roc-color
🌈 Roc package for styling terminal contents with ANSI, 256 bit color and Truecolor
phagenlocher's Repositories
phagenlocher/learn-haskell-by-example
📖 Projects showcased in the book "Learn Haskell by Example"
phagenlocher/pipes.go
🕳 A pipes.sh clone written in Golang
phagenlocher/C-Snake
🐍 Snake, written in C with ncurses
phagenlocher/roc-color
🌈 Roc package for styling terminal contents with ANSI, 256 bit color and Truecolor
phagenlocher/braincheck
🧠🔍 A static and dynamic analyzer for Brainfuck
phagenlocher/quickspec-examples
Some examples for QuickSpec
phagenlocher/InteractiveHtmlBom
Interactive HTML BOM generation plugin for KiCad
phagenlocher/mochi
✔ LTL Model Checker
phagenlocher/analyzer
The goblint static analysis framework
phagenlocher/blogs.hn
tiny directory of tech blogs
phagenlocher/chroma
A general purpose syntax highlighter in pure Go
phagenlocher/dhall-haskell
Maintainable configuration files
phagenlocher/erd
Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.
phagenlocher/GBAHD-Shield
phagenlocher/haskellweekly
Publishes curated news about the Haskell programming language.
phagenlocher/hugo-xmin
eXtremely Minimal Hugo theme: about 150 lines of code in total, including HTML and CSS (with no dependencies)
phagenlocher/Light-CMS
Minimalistic Flat-File-CMS
phagenlocher/murmur-hash
[New maintainer needed] MurmurHash2 implementation in Haskell
phagenlocher/roc-awesome
Awesome Roc
phagenlocher/vscode-runonsave
Visual Studio Code extension to run commands whenever a file is saved.
phagenlocher/www.haskell.org
www.haskell.org site source