badly-drawn-wizards
Self proclaimed applied category theorist (aka functional programmer) and now self proclaimed security researcher too.
Whirly LabsCape Town
Pinned Repositories
1ppmLog
Release one side project per month, log your results here!
advent-of-code-2023
An attempt at doing advent of code 2023 in Lean4
avr-lcd-demo
A demo of an LCD with a HD44780 controller equivalent.
badly-drawn-wizards.github.io
My blog
boot-reload
Boot task providing live-reload of browser css, images, etc.
button_lock
Code for push-button lock using an attiny85.
dotfiles
Files that start with a period go here.
paragrai
A python program to add line breaks to text without line breaks
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
badly-drawn-wizards's Repositories
badly-drawn-wizards/vangogh_oc_fix
A linux kernel module to override AMD Van Gogh APU PowerPlay limits for CPU
badly-drawn-wizards/dotfiles
Files that start with a period go here.
badly-drawn-wizards/weirdly_concrete
A simulator for xkcd 2529's weirdly concrete problem
badly-drawn-wizards/paragrai
A python program to add line breaks to text without line breaks
badly-drawn-wizards/advent-of-code-2023
An attempt at doing advent of code 2023 in Lean4
badly-drawn-wizards/boot-reload
Boot task providing live-reload of browser css, images, etc.
badly-drawn-wizards/cut-the-crap
Automated video editing for streamers
badly-drawn-wizards/flocking-demo
A simple flocking simulation in Haskell.
badly-drawn-wizards/fungus
An easy to use Unity 3D library for creating illustrated Interactive Fiction games
badly-drawn-wizards/home-manager
Manage a user environment using Nix [maintainer=@rycee]
badly-drawn-wizards/impdf
Dataflow for Imp in Lean4
badly-drawn-wizards/joern
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
badly-drawn-wizards/kubearmor-client
KubeArmor cli tool aka kArmor :robot:
badly-drawn-wizards/kubearmor-minikube-iso
A minikube iso built for kubearmor
badly-drawn-wizards/lean4-alloy
Write C shims from within Lean code.
badly-drawn-wizards/lightnovel-crawler
Generate and download e-books from online sources.
badly-drawn-wizards/minikube
Run Kubernetes locally
badly-drawn-wizards/nix-doom-emacs
doom-emacs packaged for Nix
badly-drawn-wizards/nix-straight.el
Low-level Nix integration to straight.el [maintainer=@ckiee]
badly-drawn-wizards/nixfiles
My kick-ass NixOS systems configurations!!
badly-drawn-wizards/nixvim
Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]
badly-drawn-wizards/obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
badly-drawn-wizards/pacaur
[unmaintained] An AUR helper that minimizes user interaction
badly-drawn-wizards/Primes
Prime Number Projects in C#/C++/Python
badly-drawn-wizards/rot8
screen rotation daemon
badly-drawn-wizards/sqlean
Lean4 library for sqlite
badly-drawn-wizards/steamtinkerlaunch
Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs
badly-drawn-wizards/sway
i3-compatible Wayland compositor
badly-drawn-wizards/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
badly-drawn-wizards/unhinged
Fix tablet mode behaviour for HP Spectre x360 laptops