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