Popular repositories Loading

1. kousha123 kousha123 Public

   Config files for my GitHub profile.

2. WindSimulator WindSimulator Public

   Jupyter Notebook

3. MusicCategorizer MusicCategorizer Public

   Python

4. MyHomepage MyHomepage Public

   HTML

5. AstroPhoto AstroPhoto Public

   One-button astrophotography: capture, stack and deliver a finished photo from a DSLR/mirrorless camera.

   Python

6. InfoLeakage InfoLeakage Public

   Machine-checked information-leakage measures (maximal leakage, Sibson α-MI, α-leakage) in Lean 4, built on Statlib and Mathlib. Early-stage.

   Lean