$ ls ~/projects --sort=date

< Projects />

Building the future, one commit at a time. Here are some of my open-source projects and research work.

51 total
STATUS:
ALL ACTIVE WIP COMPLETED ARCHIVED
TYPE:
ALL Research (19) AI/ML (11) Tools (10) Systems (9) Blockchain (2)
// AI/ML
COMPLETED
AI/ML

TinyInfer-WASM

A Rust-to-WASM neural network inference engine running directly in the browser: MobileNetV2 in 45ms vs ONNX.js 120ms vs…

Rust WebAssembly SIMD React/TypeScript +3
EXPLORE()
// Systems
LIVE DEMO ACTIVE
Systems

WasmSentinel

Lightweight real-time threat detection tool using WebAssembly for high-performance security

Go Rust WebAssembly eBPF +3
EXPLORE()
// Research
COMPLETED
Research

MemoryCompiler

Memory compression framework for long conversations based on compiler optimization theory

Python Qwen 2.5 PyTorch HuggingFace Transformers
EXPLORE()
// Tools
COMPLETED
Tools

AutoSlideGen

Intelligent PowerPoint presentation generator using LLMs with multi-agent architecture

Python OpenAI Claude python-pptx +2
EXPLORE()
// Tools
ACTIVE
Tools

CodeGraph

Incremental code indexing system supporting multi-modal indexing for intelligent code search

Python tree-sitter CodeBERT ChromaDB +2
EXPLORE()
// Tools
ACTIVE
Tools

ProofCraft

Systematic study of LLM-assisted Lean 4 theorem proving: 28.3% pass@1 vs SOTA 99.6%, with the honest finding that model…

Python Lean 4 LeanDojo GPT-4 +3
EXPLORE()