Popular repositories Loading

1. gas-simulator gas-simulator Public

   A website to run simulation of past contests from phiquadro.it

   Rust 4 1

2. training-cli training-cli Public

   Yet another (unofficial) cli for training.olinfo.it

   Rust 2

3. competitive competitive Public

   My solutions to several competitive programming tasks

   C++ 2

4. non-euclidean-pid non-euclidean-pid Public

   A Lean proof that there exist Principal Ideal Domains which do not have a Euclidean function

   Lean 2

5. avl-tree avl-tree Public

   AVL Tree implemented in C++

   C++ 1

6. sqrt-tree sqrt-tree Public

   A Sqrt-Tree implementation in C++

   C++