Popular repositories Loading

1. static-site-generator static-site-generator Public

   Forked from rubenvannieuwpoort/static-site-generator

   A static site generator which supports markdown with LaTeX.

   CSS

2. flax flax Public

   Forked from google/flax

   Flax is a neural network library for JAX that is designed for flexibility.

   Python

3. ig ig Public

   Jupyter Notebook

4. incoherence incoherence Public

   Python

5. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

6. boxing-gym boxing-gym Public

   Forked from kanishkg/boxing-gym

   Jupyter Notebook