GitHub repository: meoowers/rinha
Primary language: Lean
Description: 🧪 | Rinha de Backend Lean4