Pinned Repositories
phobos
The standard library of the D programming language
CNC-axis-tester
tests a single axis on a CNC machine
isabelle
adventures with the interactive theorem prover, Isabelle
KRMx02-config
KRMx02_mesa_config
optimization
Some numerical optimization methods implemented in Haskell
ValheimBuildCamera
The Build Camera mod for the game Valheim.
xls
XLS: Accelerated HW Synthesis
wiwinwlh
What I Wish I Knew When Learning Haskell
vibe.d
Official vibe.d development
gittywithexcitement's Repositories
gittywithexcitement/ValheimBuildCamera
The Build Camera mod for the game Valheim.
gittywithexcitement/CNC-axis-tester
tests a single axis on a CNC machine
gittywithexcitement/isabelle
adventures with the interactive theorem prover, Isabelle
gittywithexcitement/KRMx02-config
gittywithexcitement/KRMx02_mesa_config
gittywithexcitement/optimization
Some numerical optimization methods implemented in Haskell
gittywithexcitement/xls
XLS: Accelerated HW Synthesis