Pinned Loading

1. coqprofiler coqprofiler Public

   A simple profiler of coq files

   Python 1

2. life-calendar life-calendar Public

   Week-by-week customised life calendar generator

   Python 1

3. treecode treecode Public

   An aesthetically pleasing alternative to QR codes

   Jupyter Notebook 1

4. marcomaida.github.io marcomaida.github.io Public

   Forked from academicpages/academicpages.github.io

   Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

   JavaScript

5. perronet/chess-ai perronet/chess-ai Public

   Jupyter Notebook 1

6. chocoquickbatch chocoquickbatch Public

   Quick batch to install choco and main programs

   Batchfile 2 1