patrickconcannon
Follow
Lists (1)
Stars
12
results
for source starred repositories
Clear filter
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
A collection of out-of-tree LLVM passes for teaching and learning
A machine learning compiler for GPUs, CPUs, and ML accelerators
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
Text based adventure game written in GAS, originally as a college assignment
A C++ based phase vocoder example that allows pitch and timescale modifications of incoming signals. UI built with Juce.