kwurbis

Pinned Repositories

emoji-supply
Source for http://emoji.supply/wallpaper and http://emoji.supply/kitchen
Language:JavaScript00
lean_natural_numbers
Constructing the natural numbers and its properties as a way to learn lean.
Language:Lean00
perlin-noise
Various versions of Perlin noise (C and C++)
Language:C00
postbank2csv
Convert Postbank statements from PDF to CSV format
Language:Haskell00
frontend
Frontend image and dev environment based on react
Language:JavaScript00

kwurbis's Repositories

kwurbis/emoji-supply
Source for http://emoji.supply/wallpaper and http://emoji.supply/kitchen
kwurbis/perlin-noise
Various versions of Perlin noise (C and C++)
Language:C
kwurbis/lean_natural_numbers
Constructing the natural numbers and its properties as a way to learn lean.
Language:Lean
kwurbis/postbank2csv
Convert Postbank statements from PDF to CSV format
Language:Haskell