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. incoherence incoherence Public

   Python

4. agda agda Public

   Forked from agda/agda

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

   Haskell

5. boxing-gym boxing-gym Public

   Forked from kanishkg/boxing-gym

   Jupyter Notebook