Software engineer with an interest in type theory and functional programming. Rocket and strafe jumping fanatic 
-
DistantHorizonsStandalone Public
Forked from DarkShadow44/DistantHorizonsStandaloneJava MIT License UpdatedSep 7, 2025 -
lwjgl3ify Public
Forked from GTNewHorizons/lwjgl3ifyA mod to run Minecraft 1.7.10 using LWJGL3 and Java 17+
Java GNU Lesser General Public License v3.0 UpdatedAug 9, 2025 -
bangs Public
Forked from kagisearch/bangsRepository of bangs used by Kagi Search
Ruby MIT License UpdatedFeb 19, 2025 -
rust_minifb Public
Forked from emoon/rust_minifbCross platfrom window and framebuffer crate for Rust
Rust MIT License UpdatedOct 15, 2024 -
scala3-si-units Public archive
Toy project using Scala 3's type system for a type-safe dimensional analysis API
Scala MIT License UpdatedSep 24, 2024 -
-
silverbullet-graphview Public
Forked from silverbulletmd/silverbullet-graphviewA Graphview for Silverbulletmd
TypeScript UpdatedJul 24, 2023 -
chisel3 Public
Forked from chipsalliance/chiselChisel 3: A Modern Hardware Design Language
Scala Apache License 2.0 UpdatedOct 18, 2022 -
-
luminor Public
Approximate spherical lighting attenuation in Minecraft.
Java Other UpdatedAug 28, 2020 -
-
dinocpu Public
Forked from jlpteaching/dinocpu -
gem5 Public
Forked from darchr/gem5Fork of main gem5 repo: https://gem5.googlesource.com/public/gem5/
C++ BSD 3-Clause "New" or "Revised" License UpdatedSep 20, 2019 -
terramagna Public archive
Voxel game project I worked on in 2015
C++ MIT License UpdatedOct 12, 2018