aramya's starred repositories
cosmopolitan
build-once run-anywhere c library
continuation
Continuation shenanigans in Rust
animate-lean-proofs
tool for turning Lean proofs into Blender animations
rsp-ruination
N64 RSP torture test
n64_corruption_bug
A repository demonstrating what appears to be a hardware bug on Nintendo 64
lambda-calculus
Denotational Semantics of the Untyped Lambda Calculus