Popular repositories Loading

1. lean-automata lean-automata Public

   Proving theorems about regular languages and DFAs in Lean

   Lean 5 1

2. simpsons-in-css simpsons-in-css Public

   Forked from pattle/simpsons-in-css

   Simpsons characters in CSS

   CSS 2

3. safe-chat safe-chat Public

   a school project

   C 1

4. get-back get-back Public

   Online game

   1

5. lox-interpreter lox-interpreter Public

   Writing an interpreter in cpp

   C++ 1

6. TutorialMod TutorialMod Public

   Java