GitHub repository: ratmaylakhongcoai/cursed-code-generator
Primary language: Lean
Description: A very restricted subset of C++, designed with formal verification in mind. Primarily for competitive programming use.