Popular repositories Loading

1. my-first-repo my-first-repoPublic

2. my-second-repo my-second-repoPublic

   This is a sample repo

3. repo-exercise repo-exercisePublic

4. forking-lesson forking-lessonPublic

   Forked from nayuki/Project-Euler-solutions

   Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.

   Java

5. learn-tt learn-ttPublic

   Forked from jozefg/learn-tt

   A collection of resources for learning type theory and type theory adjacent fields.

6. advent-of-code-2023 advent-of-code-2023Public

   Java