Pinned

1. quantities Public

   Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

   Idris 148 11

2. halma Public

   Chinese Checkers Haskell library, GUI application and Telegram bot

   Haskell 15 5

3. pfds-visualizations Public

   Visualization of purely functional queues 🚶🚶🚶

   Haskell 3

4. uni-spicker Public

   Summaries of my university courses (in German)

   TeX 23 11

5. dtypes Public

   Functors, Applicatives, Traversables etc. of kind (k -> *) -> *

   Haskell 2 1

6. svd-image-compression-demo Public

   Demonstration of low rank matrix approximations via singular value decomposition

   TypeScript 23 3