pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
University of PaderbornPaderborn
Pinned Repositories
agda-yasnippets
archived because moved to my dotfiles (see https://github.com/pmbittner/dotfiles)
LaTeXUtils
Recurring commands and patterns I use across all my LaTeX documents.
MDSDWS1819
OptimisedCentresOfRotationSkinning
Library to Compute Centres of Rotation for Optimised Centres of Rotation Skinning by Le and Hodgins 2016 "Real-time Skeletal Skinning with Optimized Centers of Rotation"
PaxEngine3
Game Engine focused on finding expressive but simple ways to build any game
Polypropylene
EDSL for Polymorphism-Aware Entity Component Systems
Studiengangskonfigurator
Configurator for Branches of Study at TU Braunschweig
DiffDetective
Library for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines
FeatureTraceRecording
Feature Trace Recording in Haskell
Vatras
Agda Library to Study the Expressive Power of Languages for Static Variability
pmbittner's Repositories
pmbittner/OptimisedCentresOfRotationSkinning
Library to Compute Centres of Rotation for Optimised Centres of Rotation Skinning by Le and Hodgins 2016 "Real-time Skeletal Skinning with Optimized Centers of Rotation"
pmbittner/PaxEngine3
Game Engine focused on finding expressive but simple ways to build any game
pmbittner/Polypropylene
EDSL for Polymorphism-Aware Entity Component Systems
pmbittner/LaTeXUtils
Recurring commands and patterns I use across all my LaTeX documents.
pmbittner/Studiengangskonfigurator
Configurator for Branches of Study at TU Braunschweig
pmbittner/agda-yasnippets
archived because moved to my dotfiles (see https://github.com/pmbittner/dotfiles)
pmbittner/MDSDWS1819
pmbittner/MibTeX
Minimalistic tool to manage your references with BibTeX
pmbittner/pmbittner.github.io
pmbittner/VariantWrynn
pmbittner/AdventOfCode2020
My Solutions for the Advent of Code 2020
pmbittner/agda-stdlib
The Agda standard library
pmbittner/agda2hs
Compiling Agda code to readable Haskell
pmbittner/assimp
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
pmbittner/box2d
Box2D is a 2D physics engine for games
pmbittner/catppuccin-emacs
🍄 Soothing pastel theme for Emacs
pmbittner/ColourKiste
pmbittner/dotfiles
My linux configuration files :)
pmbittner/everforest-emacs
everforest for emacs!
pmbittner/LambdaInterpreter
Interpreter For Lambda Calculus
pmbittner/plfa.github.io
An introduction to programming language theory in Agda
pmbittner/SharpCategory
Solutions for the Challenges of "Category Theory for Programmers" by Bartosz Milewski in C#
pmbittner/SlideTemplate
A beamer latex template for slides and lectures at University of Ulm
pmbittner/SynchronizationStudy