Popular repositories Loading

1. lambda-metric-space lambda-metric-space Public

   lambda-metric-space, a Lean project

   Lean 4

2. FightClub FightClub Public

   Java

3. Fractalgenerator Fractalgenerator Public

   Create your own fractals

   Java

4. TimeController TimeController Public

   Control the time

   Java

5. SquareZoo SquareZoo Public

   Java

6. TetrisLearn TetrisLearn Public

   Machine Learning Tetris convolutional neural net with evolution

   Jupyter Notebook 1