Vimmer, Haskeller and a BIG FAN of static typing.
heuron. Correct by construction Neural Network Implementation in Haskell 💖
20horture. Interactive tool for streamers interested in elevating user interactions to their desktop
6nvim. My personal NeoVim configuration folder.
2funwithganache. TypeScript
2clash_fpga_example. Starting steps to describe hardware in Clash and use the generated VHDL in Vivado to program a FPGA.
2thinking-in-types. Supportive to a YT video I made
2waveviewplayer. WaveViewPlayer is a project to visualize a lot of sound-files. If you are a video creator relying on sound-clips and think it would be helpful to not only see a bunch of names but also the waveform, this might be for you!
1coinwalletoverview. CoinWalletOverview aims to be used on a small device with terminal display capabilities to provide an overview of the funds in your cryptowallet(s).
1home. Chord-based keyboard layout (MacOS)
1asciicam. Simple ASCII webcam viewer written in rust~
1sriscem. sriscem is a "Super Reduced Instruction Set interpreter" and intended to be a medium sized kata.
1