Pinned Loading

1. quantities quantities Public

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

   Idris 163 11

2. halma halma Public

   Chinese Checkers Haskell library, GUI application and Telegram bot

   Haskell 16 4

3. pfds-visualizations pfds-visualizations Public

   Visualization of purely functional queues 🚶🚶🚶

   Haskell 3

4. uni-spicker uni-spicker Public

   Summaries of my university courses (in German)

   TeX 26 11

5. dtypes dtypes Public

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

   Haskell 3 2

6. svd-image-compression-demo svd-image-compression-demo Public

   Demonstration of low rank matrix approximations via singular value decomposition

   TypeScript 54 7