Popular repositories Loading

1. group-theory-isabelle group-theory-isabelle Public

   Formalization of Selected Results from Group Theory

   Isabelle

2. pytorch-original-transformer pytorch-original-transformer Public

   Forked from gordicaleksa/pytorch-original-transformer

   My implementation of the original transformer model (Vaswani et al.). I've additionally included the playground.py file for visualizing otherwise seemingly hard concepts. Currently included IWSLT p…

   Jupyter Notebook 1

3. gen_smooth gen_smooth Public

   Generating smooth numbers

   Rust

4. close_smooth close_smooth Public

   Find a smooth number in the Hasse interval of another. Or in any interval in general

   Rust

5. multiplicity multiplicity Public

   Rust

6. tress tress Public

   A small terminal chess game in rust

   Rust