Popular repositories Loading

1. collatz-lean4 collatz-lean4 Public

   Lean 4 formalization of ord_{2^t}(3) = 2^{t-2} and supporting lemmas for Collatz analysis

   Lean 1

2. fastembed-native fastembed-native Public

   C 1

3. nochi nochi Public

   Forked from pasky/nochi

   Minimalistic AlphaGoZero-like Engine

   Python

4. keras-rl keras-rl Public

   Forked from keras-rl/keras-rl

   Deep Reinforcement Learning for Keras.

   Python

5. learn_math_fast learn_math_fast Public

   Forked from llSourcell/learn_math_fast

   This is the Curriculum for "How to Learn Mathematics Fast" By Siraj Raval on Youtube

   Python

6. graph-to-vector-field graph-to-vector-field Public

   Forked from anvaka/graph-to-vector-field

   Converts a graph into vector field texture

   JavaScript