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. tanks-warfare tanks-warfare Public

   HTML5 tanks: Vite client + Node WebSocket, shared TypeScript

   TypeScript 1

4. nochi nochi Public

   Forked from pasky/nochi

   Minimalistic AlphaGoZero-like Engine

   Python

5. keras-rl keras-rl Public

   Forked from keras-rl/keras-rl

   Deep Reinforcement Learning for Keras.

   Python

6. 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