Popular repositories Loading

1. lambda-calculator lambda-calculator Public

   A CLI calculator supporting standard SI units developed during a FP course at University of Ulm.

   HTML 1

2. micrograd micrograd Public

   Forked from karpathy/micrograd

   A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

   Jupyter Notebook

3. cheatsheet cheatsheet Public

   commands I regularly need but cannot remember

4. life-screensaver life-screensaver Public

   a life screensaver for xscreensaver

   C

5. advent_of_code_2023 advent_of_code_2023 Public

   my solutions to the advent of code 2023 puzzles

   Haskell

6. gadtsDependentTypes gadtsDependentTypes Public

   a lecture and a lab about GADTs and dependent types in Haskell.

   TeX