Giters
Reuben Steenekamp (badly-drawn-wizards)

badly-drawn-wizards

Geek Repo

16

followers

10

following

16

stars

Company:Whirly Labs

Location:Cape Town

Github PK Tool:Github PK Tool

Reuben Steenekamp's repositories

vangogh_oc_fix

A linux kernel module to override AMD Van Gogh APU PowerPlay limits for CPU

Language:CLicense:GPL-3.0Stargazers:17Issues:3Issues:10

dotfiles

Files that start with a period go here.

Language:NixLicense:MITStargazers:6Issues:3Issues:0

weirdly_concrete

A simulator for xkcd 2529's weirdly concrete problem

Language:PythonStargazers:6Issues:3Issues:0

paragrai

A python program to add line breaks to text without line breaks

Language:JavaScriptLicense:MITStargazers:4Issues:0Issues:0

advent-of-code-2023

An attempt at doing advent of code 2023 in Lean4

Language:LeanLicense:MITStargazers:0Issues:2Issues:0

boot-reload

Boot task providing live-reload of browser css, images, etc.

Language:ClojureLicense:EPL-1.0Stargazers:0Issues:3Issues:0

cut-the-crap

Automated video editing for streamers

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

flocking-demo

A simple flocking simulation in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

fungus

An easy to use Unity 3D library for creating illustrated Interactive Fiction games

Language:C#License:MITStargazers:0Issues:3Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:0Issues:2Issues:0

impdf

Dataflow for Imp in Lean4

Language:LeanStargazers:0Issues:0Issues:0

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

License:Apache-2.0Stargazers:0Issues:0Issues:0

kubearmor-client

KubeArmor cli tool aka kArmor :robot:

License:Apache-2.0Stargazers:0Issues:0Issues:0

kubearmor-minikube-iso

A minikube iso built for kubearmor

Stargazers:0Issues:2Issues:0

lean4-alloy

Write C shims from within Lean code.

License:Apache-2.0Stargazers:0Issues:0Issues:0

lightnovel-crawler

Generate and download e-books from online sources.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0

minikube

Run Kubernetes locally

License:Apache-2.0Stargazers:0Issues:0Issues:0

nix-doom-emacs

doom-emacs packaged for Nix

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nix-straight.el

Low-level Nix integration to straight.el [maintainer=@ckiee]

Language:NixLicense:MITStargazers:0Issues:0Issues:0

nixfiles

My kick-ass NixOS systems configurations!!

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nixvim

Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]

Language:NixLicense:MITStargazers:0Issues:1Issues:0

obs-studio

OBS Studio - Free and open source software for live streaming and screen recording

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

pacaur

[unmaintained] An AUR helper that minimizes user interaction

Language:ShellLicense:ISCStargazers:0Issues:3Issues:0

Primes

Prime Number Projects in C#/C++/Python

Language:TeXStargazers:0Issues:2Issues:0

rot8

screen rotation daemon

Language:RustLicense:MITStargazers:0Issues:2Issues:0

sqlean

Lean4 library for sqlite

Language:C++Stargazers:0Issues:2Issues:0

steamtinkerlaunch

Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs

Language:ShellLicense:GPL-3.0Stargazers:0Issues:2Issues:0

sway

i3-compatible Wayland compositor

Language:CLicense:MITStargazers:0Issues:0Issues:0

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:0Issues:3Issues:0

unhinged

Fix tablet mode behaviour for HP Spectre x360 laptops

Language:PythonLicense:MITStargazers:0Issues:0Issues:0