Hide content and notifications from this user.
Contact Support about this user's behavior.
Summaries of my university courses (in German)
This is a utility that transforms code documented with getdocs-style doc comments into TypeScript definition files
ProseMirror editor state
ProseMirror's document model
Simple menu elements for ProseMirror
ProseMirror Markdown integration
ProseMirror document transformations
The repository for high quality TypeScript type definitions.
An experimental category theory library for Lean
My config files.
Haskell binding to OpenCV-3.1
Organisation of a student-run pizza seminar in mathematics at University of Augsburg, Germany
Notes on how to use the internal language of toposes in algebraic geometry
Chinese Checkers Haskell library, GUI application and Telegram bot
Purely functional data structures in Idris
Using the Telegram Bot API to send messages to myself
Haskell library for drawing the Rubik's Cube
Demonstration of low rank matrix approximations via singular value decomposition
Worksheets and lecture notes for my math courses for school students (in German)
Telegram Bot API for Haskell
Tools for working with regular grids/graphs/lattices.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
Visualization of purely functional queues 🚶🚶🚶🚶
🌶 🍛 Our Website
Functors, Applicatives, Traversables etc. of kind (k -> *) -> *