Popular repositories Loading

1. mandala-app mandala-app Public

   A small project to get the feel for GUI design in python

   Python

2. gokarna gokarna Public

   Forked from gokarna-theme/gokarna-hugo

   A minimal opinionated theme for Hugo

   CSS

3. GradCtrl GradCtrl Public

   Forked from zikuncshelly/GradCtrl

   Python

4. Hackathon Hackathon Public

   Python

5. 410-510-2025sp-notes 410-510-2025sp-notes Public

   Forked from UB-CSE-513/410-510-2025sp-notes

   TeX

6. bishop bishop Public

   Forked from viktorcsimma/bishop

   A constructive analysis library written in Agda and based on Errett Bishop's work. Continuing Zachary Murray's original project.

   Agda