-
TU Dortmund
- Dortmund
- @christofsteel
- @[email protected]
- https://matrix.to/#/@christofsteel:k-fortytwo.de
Highlights
- Pro
Stars
An interactive web application for learning the fundamental concepts of type inference.
Magic: the Gathering set symbol pictographic font
An experimental proof assistant based on a type theory for synthetic ∞-categories.
Modular visual interface for GDB in Python
Scala-based project to visualize Scala programs in UML class diagrams.
Eisfunke / liebekell-report
Forked from haskell/haskell-reportHaskell Language Report
Cache in JSON format of tournaments posted on MTGO, Manatraders, Melee and Topdeck Websites
Noise suppression plugin based on Xiph's RNNoise
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
The source code to VVVVVV! http://thelettervsixtim.es/
collection of tools for easy handling of Magic: The Gathering data on your computer
A project to statically recompile following games to create Windows or Linux (x86 or arm) versions of the games - Albion, X-Com: UFO Defense (UFO: Enemy Unknown), X-Com: Terror from the Deep, Warcr…
Web Audio DAW. Use the Web Audio API for dynamic sound synthesis. It's like jQuery for your ears.
A Haskell webserver / webframework / application server
A command line twitter client, written in Bash