Pinned Repositories
aoc-2021
My advent of code solutions. Might be good, might be bad. Might depend on other repos here.
aoc-2022
Advent of Code 2022: First baby steps in Haskell (please don't judge me).
aoc-2023
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
BinaryHeap
A toy project about formal validation of a Heap in Lean4
BuddhaShader
First steps with OpenGL: A compute shader that renders a BuddhaBrot to an SSBO. Can also save the result to PNG for future viewing pleasure.
higher-free-macro
A macro that allows to conjure a Free Monad for every Functor. This builds on the traits from the higher crate, and re-exports said crate.
LatticeMatch
Small script to calculate Lattice Matches
passfish
PassFish is a Sailfish-OS app that aims to be compatible with PasswordMaker Pro.
passwordmaker-rs
A Rust reimplementation of the PasswordMaker Pro password generation logic.
soulsource's Repositories
soulsource/higher-free-macro
A macro that allows to conjure a Free Monad for every Functor. This builds on the traits from the higher crate, and re-exports said crate.
soulsource/BuddhaShader
First steps with OpenGL: A compute shader that renders a BuddhaBrot to an SSBO. Can also save the result to PNG for future viewing pleasure.
soulsource/passfish
PassFish is a Sailfish-OS app that aims to be compatible with PasswordMaker Pro.
soulsource/aoc-2023
Advent of Code 2023 - I'm still learning Lean4, so please don't judge.
soulsource/LatticeMatch
Small script to calculate Lattice Matches
soulsource/aoc-2021
My advent of code solutions. Might be good, might be bad. Might depend on other repos here.
soulsource/aoc-2022
Advent of Code 2022: First baby steps in Haskell (please don't judge me).
soulsource/BinaryHeap
A toy project about formal validation of a Heap in Lean4
soulsource/boxed_array_ringbuffer
Rust Ring Buffer that uses a boxed array as backing storage, to guarantee a fixed size after initialization. Uses const generics.
soulsource/buddhaBrot
Renders a buddhabrot to the current directory. First steps in rust...
soulsource/cwiid
Linux Nintendo Wiimote interface
soulsource/fahrplan
QT Application for Public transportation
soulsource/passwordmaker-rs
A Rust reimplementation of the PasswordMaker Pro password generation logic.
soulsource/Ferram-Aerospace-Research
Aerodynamics model for Kerbal Space Program
soulsource/higher
Your favourite Haskell type classes for Rust
soulsource/KOS
Fully programmable autopilot mod for KSP. Originally By Nivekk
soulsource/ksp-advanced-flybywire
Controller mod for Kerbal Space Program
soulsource/KSP-BonVoyage
Rovers background processing for KSP
soulsource/minimal_thread_local_example
soulsource/Scatterer
Atmospheric scattering mod for KSP
soulsource/soulsource.github.io
Personal blog, also about my projects on github
soulsource/swaystatus
Small status bar tool for i3 or sway. Mostly coded for myself, but feel free to use/fix/extend.
soulsource/vcmi
Open-source engine for Heroes of Might and Magic III