Old Projects
Oomotion A textobject-oriented editor plugin for VS Code
A editing keymap inspired by Vim, Kakoune and Helix. Able to edit code based on text-objects like words, lines, code blocks, etc. With tree-sitter and easy-motion support.
SITE
CODE
TheoryComboViz Polite theory combination visualizer
A visualizer for polite theory combination, demonstrated using Sets, intended to make SMT solvers easier to understand.
SLIDES
CODE
DEMO
HilbertProver A prover for Hilbert system
An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs, with some interesting optimizations.
DEMO
CODE
Chital A secure container runtime implemented in Rust
Course project for my operating system course. Leading 3 other students in a group.
PDF
CODE