Tim Baumann timjb

• @TNG Technology Consulting GmbH

• Augsburg, Europe
• timbaumann.info

Pinned Loading

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

   Idris 164 11

2. Chinese Checkers Haskell library, GUI application and Telegram bot

   Haskell 16 4

3. Visualization of purely functional queues 🚶🚶🚶

   Haskell 3

4. Summaries of my university courses (in German)

   TeX 27 11

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

   Haskell 3 2

6. Demonstration of low rank matrix approximations via singular value decomposition

   TypeScript 56 7