Personal Projects

A fully local RAG pipeline for PDFs: PyMuPDF extraction, Ollama embeddings, dense/hybrid retrieval with Cross Encoder reranking, and grounded answers whose evidence is extracted verbatim by a Python resolver, not invented by the LLM. Includes a benchmark-tuned abstention gate, a versioned evaluation harness with honest per-area metrics, and a web dashboard.

• Python
• Ollama
• Hybrid Search
• Cross-Encoder Reranking
• FastAPI

Implementation of the LOX programming language interpreter in Rust. It includes the complete front-end—lexer, parser, AST generation, error reporting, and a tree-walk interpreter—without the bytecode VM.

Inspired by Crafting Interpreters.

• Rust
• Interpreters
• Language design

A small LISP-like language implemented in Rust and C. It features a simple REPL, parsing, basic evaluation rules, and fundamental LISP primitives, with an emphasis on learning language design.

Inspired by Build Your Own Lisp.

• Rust
• C
• LISP

A handmade physics engine in C++ and Rust using RK45 integrators. It includes interactive Lorenz-attractor, particle-collision, and pendulum simulations, with real-time SDL rendering for trajectories and phase spaces.

• C++
• Rust
• SDL
• RK45

A real-time 2D fluid solver in C++, developed after deriving the Navier–Stokes equations for incompressible, inviscid fluids from first principles. It implements advection, pressure projection, boundary handling, and an SFML visualization pipeline.

• C++
• SFML
• Fluid dynamics

An 8-qubit digital simulation of the Transverse-Field Ising Model on Quantinuum H2-1LE. It studies Suzuki–Trotter dynamics, benchmarks observables against exact diagonalization, explores VQE ground states, and evaluates Iceberg error detection.

• Python
• Quantum simulation
• Quantinuum
• pytket
• VQE

An exploration of the Three-Body and Restricted Three-Body Problems using symplectic and RK45 integrators. The simulations and Poincaré sections reveal qualitative chaotic behavior through numerical experimentation.

• Numerical methods
• RK45
• Dynamical systems

A practical ETHCDM 2025 workshop introducing zero-knowledge proofs with Noir. The material takes participants from foundational concepts and circuit building to proof generation and on-chain smart-contract verification.

• Noir
• Zero knowledge
• Smart contracts

A privacy-preserving implementation of the x402 payment protocol. It combines Noir circuits, a Merkle-tree shielded pool, Solidity contracts, a payment facilitator, and on-chain settlement for private web payments.

• Noir
• Solidity
• x402
• Merkle trees
• TypeScript

A minimal zero-knowledge argument of polynomial divisibility implemented in Rust using arkworks and pairing-based commitments inspired by KZG.

Inspired by Why and How zk-SNARK Works.

• Rust
• arkworks
• ZK-SNARKs
• KZG

A pair of zero-knowledge experiments for private access control: a token-gated system that proves eligibility without exposing wallet details, and a circuit that proves a private leaf belongs to a Merkle tree without revealing the member or its position.

• Zero knowledge
• Token gating
• Merkle trees
• Privacy