🏠
Working from home
Software Engineer and PhD | Likes Agda, Agdq, ADTs, ASTs, MtG
- Salzgitter Digital Solutions
- Würzburg
- https://pmbittner.github.io/
- https://orcid.org/0000-0001-9388-0649
- @PaulMBittner
Pinned Loading
- VariantSync/Vatras
VariantSync/Vatras PublicAgda Library to Study the Expressive Power of Languages for Static Variability
Agda 13
- VariantSync/DiffDetective
VariantSync/DiffDetective PublicLibrary for Variability-Aware Differencing and the Analysis of Edits to Preprocessor-Based Software Product Lines
- VariantSync/FeatureTraceRecording
VariantSync/FeatureTraceRecording PublicFeature Trace Recording in Haskell
Haskell 5
- OptimisedCentresOfRotationSkinning
OptimisedCentresOfRotationSkinning PublicLibrary 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
PaxEngine3 PublicGame Engine focused on finding expressive but simple ways to build any game
C++ 22
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
Uh oh!
There was an error while loading. Please reload this page.





