🏠
Working from home
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG
PinnedLoading
- VariantSync/Vatras
VariantSync/Vatras PublicAgda Library to Study the Expressive Power of Languages for Static Variability
Agda 12
- 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++ 20
Something went wrong, please refresh the page to try again.
If the problem persists, check theGitHub status page orcontact support.
If the problem persists, check theGitHub status page orcontact support.