Popular repositories

1. torchdiffeq torchdiffeq Public

   Forked from rtqichen/torchdiffeq

   Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.

   Python

2. KaTeX KaTeX Public

   Forked from KaTeX/KaTeX

   Fast math typesetting for the web.

   JavaScript

3. gym gym Public

   Forked from openai/gym

   A toolkit for developing and comparing reinforcement learning algorithms.

   Python

4. natural_number_game natural_number_game Public

   Forked from ImperialCollegeLondon/natural_number_game

   Building the natural numbers in Lean.

   Lean

5. tutorials tutorials Public

   Forked from leanprover-community/tutorials

   Some Lean tutorials

   Lean

6. theorem_proving_in_lean theorem_proving_in_lean Public

   Forked from leanprover/theorem_proving_in_lean

   Theorem proving in Lean

   Python