Stars
Compiling Agda's internal syntax to λ-box terms.
TBXI (classic Mac OS New World ROM) patchset to boot 7.5+
A comprehensive resource for Cherry MX Ultra Low Profile (ULP) switches and custom keyboard builds. Includes Kicad footprints, datasheets, keycap sources, project examples, and purchase links.
A formalization of Constructive Projective Geometry in Agda
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Magic Leap 1 Reverse engineering and frankensteining efforts
Mixed Reality Toolkit (MRTK) extension for Magic Leap
An exploit chain for the Magic Leap One (and probably other TX2 devices)
An Adafruit GFX Compatible Library for the ESP32, ESP32-S2, ESP32-S3 to drive HUB75 LED matrix panels using DMA for high refresh rates. Supports panel chaining.
SmartMatrix Library for Teensy 3, Teensy 4, and ESP32
Use the PS4 camera as an cheap yet powerfull 3D depth and RGB camera for use with OpenCV and python in Linux
This repostory contains software for the virtual track of the DARPA SubT Challenge. Within this repository you will find Gazebo simulation assets, ROS interfaces, support scripts and plugins, and d…
Use your Mac trackpad as a weighing scale
My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie University in April 2022.
A constructive analysis library written in Agda and based on Errett Bishop's work. Continuing Zachary Murray's original project.
A modern Hotline client for macOS, iOS, and iPadOS
Code and model to control the AH!