Pinned Repositories
hython
Haskell-powered Python 3 interpreter
advent-of-code
clash-yosys-icestick-examples
Describing digital circuits in Haskell and flashing them onto a Lattice IceStick FPGA
correct-optimisations
Provingly Correct Optimizations on Intrinsically Typed Expressions
haskell-exercises
Some exercises (including tests), mainly for the Berlin Haskell User Group
haskell-playground
Some things I played around with to understand them better
messaging
An experimental chat application with terminal, GTK and web clients, all written in Haskell.
talks
slides for talks given by me
telegram-bot
A simple Python bot, doing some random things
wire-server
🇪🇺 Wire back-end services
mheinzel's Repositories
mheinzel/clash-yosys-icestick-examples
Describing digital circuits in Haskell and flashing them onto a Lattice IceStick FPGA
mheinzel/haskell-exercises
Some exercises (including tests), mainly for the Berlin Haskell User Group
mheinzel/advent-of-code
mheinzel/talks
slides for talks given by me
mheinzel/telegram-bot
A simple Python bot, doing some random things
mheinzel/correct-optimisations
Provingly Correct Optimizations on Intrinsically Typed Expressions
mheinzel/haskell-playground
Some things I played around with to understand them better
mheinzel/haskell-tutorial-bobkonf-2018
mheinzel/messaging
An experimental chat application with terminal, GTK and web clients, all written in Haskell.
mheinzel/writing-hardware-in-haskell
mheinzel/autodocodec
mheinzel/fs-sim
File system API and simulator
mheinzel/gclparser
mheinzel/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
mheinzel/ghcid
Very low feature GHCi based IDE
mheinzel/join-thesis
Implementing the Distributed Join Calculus using Actors
mheinzel/lichess-bot
A bridge between Lichess API and chess engines
mheinzel/pandoc
Universal markup converter
mheinzel/servant
Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!
mheinzel/sitelen-sitelen-renderer
JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.