Popular repositories Loading

1. cheese cheese Public

   C++ 2

2. proofs proofs Public

   random proofs in lean 4

   Lean 2

3. busy-beaver-cpp busy-beaver-cpp Public

   C++ 2

4. LaTeX-repo-for-students LaTeX-repo-for-students Public

   TeX 1

5. BBFractran BBFractran Public

   Busy beaver for Fractran

   C++ 1 1

6. ICS4U-Team-Task-Words ICS4U-Team-Task-Words Public archive

   This is a very small project that I created for my grade 12 computer science course.

   Java