Popular repositories

1. HolStep-Tree

   Python 6 1

2. geo_logic

   Tool for euclidean geometry aware of logic

   Python 2

3. manim

   Forked from 3b1b/manim

   Animation engine for explanatory math videos

   Python 1

4. my-lean-experiments

   Lean 1

5. py_euclidea

   Python version of the Euclidea game for possible reinforcement learning agents

   Python 1

6. neur-rec-seq

   Experimental neural architecture for self-repetitive (recursively defined) sequences

   Python 1