$ ls ~/projects --sort=date

< Projects />

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

22 total

STATUS:

TYPE:

🔬 // Research

COMPLETED

Research

> MemoryCompiler

Memory compression framework for long conversations based on compiler optimization theory

Python Qwen 2.5 PyTorch HuggingFace Transformers

🛠️ // Tools

COMPLETED

Tools

Intelligent PowerPoint presentation generator using LLMs with multi-agent architecture

Python OpenAI Claude python-pptx +2

🛠️ // 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