Learning FPGA, yosys, nextpnr, and RISC-V

A wave-optical path tracer

A math animation library based on the blender python api

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

The Graphics Programming Blog - A collection of technical articles, project posts and show cases

Nabla's Tests and Examples source code

Vulkan, OptiX and CUDA Interoperation Modular Rendering Library and Framework for PC/Linux/Android