Projects

AQUADESIC

GPU-accelerated Weakly Compressible Smoothed Particle Hydrodynamics (WCSPH) solver for real-time computational fluid dynamics. OpenGL compute shaders with 12,000+ particles at 60 FPS.

Features: Spatial hashing (O(N) neighbor search), GPU-parallel bitonic sorting, implicit boundary handling, Tait equation of state, real-time parameter manipulation.

phi

Formally verified LISP compiler in Lean 4. Proves semantic equivalence between source AST and stack bytecode using dependent types. compiler_correct theorem eliminates optimization bugs.

Status: Complete. Zero sorry, zero admit.

WIP haskompile

Ahead-of-time compiler in Haskell targeting LLVM IR for native executable generation. Exploring functional compiler design, AST optimization passes, and LLVM backend integration.

Features: Lexical analysis, recursive descent parser, type inference, IR generation, optimization passes, LLVM code generation.

murasaki-cc

Minimal C-to-C compiler implementation for studying lexical analysis, parsing, and code generation fundamentals. Hand-written lexer and recursive descent parser.

Features: Tokenization, AST construction, symbol tables, basic type checking, C code emission.

Windows IOCTL Kernel Driver

Kernel-mode driver exploring user-kernel communication via IOCTL, Ring 0 memory management, thread synchronization primitives, and virtual-to-physical memory translation.

Techniques: Direct kernel object manipulation, MDL operations, IRQL management, spinlock synchronization, physical memory access.

dots-figs

Neovim configuration and Arch Linux dotfiles. Custom LSP setup, tree-sitter integration, and optimized development workflow.