- Kai is an AI-assisted migration tool built on top of Konveyor (Python, TypeScript, Go)
- analyzer-lsp is a language-server-based static analysis engine (Go)
- gpunix is a fully-fledged Linux operating system that runs on the GPU (CUDA, C++)
- sequoia-diff is an AST diffing engine that computes tree edits and code similarity, enabling intelligent fix suggestion retrieval across large codebases (Python)
- prototypal-language is a written-from-scratch prototypal-inheritance-based language (Go, C++)
- aeditor is a bespoke video editor to isolate words in human speech using forced alignment (C++)
- software-renderer is a 3D software renderer with custom SIMD linear algebra library (C++)