Pinned Repositories
tenebris
Roguelike with procedural (re)generation for Cam Game Jam 2023
flowblocks
Cambridge IB Group Project for the Raspberry Pi Foundation
arduino_sasmate_17
Arduino code. Adapted for BlueRobotics ESCs - for Victor 888, you need to treat them as servos instead.
chernobot
Singapore American School (SAS) MATE robotics codebase [2017-2019]
inksy
An infinite scratchpad for effortless chirography.
isogon
An experimental dependently-typed programming language for performance-critical software.
pcf-lean
Denotational semantics with ω-CPOs for PCF, translated from the 2023-24 course at Cambridge.
semantics-agda
Operational semantics proofs, translated from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.
tetragon
A compiler for a toy functional language, featuring LALR(1) parsing, closure conversion, CPS conversion, and assembly generation.
zeyonaut's Repositories
zeyonaut/isogon
An experimental dependently-typed programming language for performance-critical software.
zeyonaut/semantics-agda
Operational semantics proofs, translated from the notes of the 2022-2023 Semantics of Programming Languages course at Cambridge.
zeyonaut/inksy
An infinite scratchpad for effortless chirography.
zeyonaut/chernobot
Singapore American School (SAS) MATE robotics codebase [2017-2019]
zeyonaut/hott-study
Personal notes on homotopy type theory from the HoTTEST Summer School 2022.
zeyonaut/ocaml
The core OCaml system: compilers, runtime system, base libraries
zeyonaut/pcf-lean
Denotational semantics with ω-CPOs for PCF, translated from the 2023-24 course at Cambridge.
zeyonaut/tetragon
A compiler for a toy functional language, featuring LALR(1) parsing, closure conversion, CPS conversion, and assembly generation.
zeyonaut/ast
zeyonaut/idealist-rs
A library of non-empty wrappers for standard list types in Rust.
zeyonaut/VisiblePawnCompatibility
RimWorld: Add compatibility between pawns to the social tab.
zeyonaut/bevy-magic-light-2d
Experiment with computing 2D shading, lighting and shadows with Bevy Engine
zeyonaut/bevy_ecs_tilemap
A tilemap rendering crate for bevy which is more ECS friendly.
zeyonaut/conrod
An easy-to-use, 2D GUI library written entirely in Rust.
zeyonaut/flowblocks
Cambridge IB Group Project for the Raspberry Pi Foundation.
zeyonaut/Fyrox
3D and 2D game engine written in Rust
zeyonaut/glm
OpenGL Mathematics (GLM)
zeyonaut/HoTTEST-Summer-School
HoTTEST Summer School materials
zeyonaut/imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
zeyonaut/kaleidoscope17
Kaleidoscope17 is an implementation of kaleidoscope in LLVM tutorial in C++17.
zeyonaut/mun
Source code for the Mun language and runtime.
zeyonaut/ontologica
zeyonaut/protogeo
A mathematical visualization tool.
zeyonaut/slides
Slides for talks I've given.
zeyonaut/srcf-python
A Python library covering database schemas and core functionality for the Student-Run Computing Facility.
zeyonaut/temporal
Exercises from the 2023-2024 Model Checking course at Cambridge.
zeyonaut/tenebris
Roguelike with procedural (re)generation for Cam Game Jam 2023
zeyonaut/vulkano
Safe and rich Rust wrapper around the Vulkan API
zeyonaut/winit
Window handling library in pure Rust
zeyonaut/zeyonaut.github.io