Aaron Yeoh Cruz's repositories
semantics-agda
Operational semantics proofs, translated from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.
hott-study
Personal notes on homotopy type theory from the HoTTEST Summer School 2022.
idealist-rs
A library of non-empty wrappers for standard list types in Rust.
VisiblePawnCompatibility
RimWorld: Add compatibility between pawns to the social tab.
bevy-magic-light-2d
Experiment with computing 2D shading, lighting and shadows with Bevy Engine
bevy_ecs_tilemap
A tilemap rendering crate for bevy which is more ECS friendly.
conrod
An easy-to-use, 2D GUI library written entirely in Rust.
flowblocks
Cambridge IB Group Project for the Raspberry Pi Foundation.
Fyrox
3D and 2D game engine written in Rust
glm
OpenGL Mathematics (GLM)
HoTTEST-Summer-School
HoTTEST Summer School materials
imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
kaleidoscope17
Kaleidoscope17 is an implementation of kaleidoscope in LLVM tutorial in C++17.
limn
Cross platform GUI Library
mun
Source code for the Mun language and runtime.
qfs-cpp
Bare-bones filesystem library for C++
slides
Slides for talks I've given.
srcf-python
A Python library covering database schemas and core functionality for the Student-Run Computing Facility.
temporal
Exercises from the 2023-2024 Model Checking course at Cambridge.
tenebris
Roguelike with procedural (re)generation for Cam Game Jam 2023
vulkano
Safe and rich Rust wrapper around the Vulkan API
winit
Window handling library in pure Rust