Reuben Steenekamp's repositories
vangogh_oc_fix
A linux kernel module to override AMD Van Gogh APU PowerPlay limits for CPU
weirdly_concrete
A simulator for xkcd 2529's weirdly concrete problem
advent-of-code-2023
An attempt at doing advent of code 2023 in Lean4
boot-reload
Boot task providing live-reload of browser css, images, etc.
cut-the-crap
Automated video editing for streamers
flocking-demo
A simple flocking simulation in Haskell.
home-manager
Manage a user environment using Nix [maintainer=@rycee]
impdf
Dataflow for Imp in Lean4
joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
kubearmor-client
KubeArmor cli tool aka kArmor :robot:
kubearmor-minikube-iso
A minikube iso built for kubearmor
lean4-alloy
Write C shims from within Lean code.
lightnovel-crawler
Generate and download e-books from online sources.
minikube
Run Kubernetes locally
nix-doom-emacs
doom-emacs packaged for Nix
nix-straight.el
Low-level Nix integration to straight.el [maintainer=@ckiee]
obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
steamtinkerlaunch
Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs
sway
i3-compatible Wayland compositor
unhinged
Fix tablet mode behaviour for HP Spectre x360 laptops