Experience
View all →Projects
View all →
UFDS Training
Educational platform for competitive programming training used by 1000+ students (Next.js, Firebase)
TypeScript
Blog
Read the blog →| Jan 16 2025 | OCaml Game Engine: ECS |
| Dec 14 2024 | Formalizing Axiomatic Set Theory in Lean |
| May 15 2024 | Proving Graph 3-Coloring with Go and Zero-Knowledge Proofs |