Paul Bittner's repositories
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
LaTeXUtils
Recurring commands and patterns I use across all my LaTeX documents.
Studiengangskonfigurator
Configurator for Branches of Study at TU Braunschweig
agda-yasnippets
archived because moved to my dotfiles (see https://github.com/pmbittner/dotfiles)
AdventOfCode2020
My Solutions for the Advent of Code 2020
agda-stdlib
The Agda standard library
agda2hs
Compiling Agda code to readable Haskell
assimp
The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
box2d
Box2D is a 2D physics engine for games
catppuccin-emacs
🍄 Soothing pastel theme for Emacs
LambdaInterpreter
Interpreter For Lambda Calculus
plfa.github.io
An introduction to programming language theory in Agda
SharpCategory
Solutions for the Challenges of "Category Theory for Programmers" by Bartosz Milewski in C#
SlideTemplate
A beamer latex template for slides and lectures at University of Ulm