$ ls ~/projects --sort=date

< Projects />

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

5 total

// Research

ACTIVE

Research

DriveMind-Prototype

Intelligent driving decision framework combining LLM reasoning with physics models for 4500x faster…

Python PyTorch Ollama/OpenAI CARLA +1

// Blockchain

ACTIVE

Blockchain

Enterprise blockchain financial management system with AI-powered fraud detection achieving 91% F1 …

Solidity Hardhat Python LightGBM +3

// Systems

ACTIVE

Systems

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

Go Rust WebAssembly eBPF +3

// Tools

ACTIVE

Tools

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

Python tree-sitter CodeBERT ChromaDB +2

// AI/ML

ACTIVE

AI/ML

LLM-Assisted Lean 4 Automatic Proof Assistant - combining LLMs with formal verification for mathema…

Python Lean 4 PyTorch GPT-4 +2