badly-drawn-wizards Goto Github PK
Name: Reuben Steenekamp
Type: User
Company: Whirly Labs
Bio: Self proclaimed applied category theorist (aka functional programmer) and now self proclaimed security researcher too.
Location: Cape Town
Reuben Steenekamp's Projects
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.
cut-the-crap
Automated video editing for streamers
dankbot
A whatsapp bot that can post memes
dotfiles
Files that start with a period go here.
fancyshader
flocking-demo
A simple flocking simulation in Haskell.
fungus
An easy to use Unity 3D library for creating illustrated Interactive Fiction games
highschool
High School Practical Assessment Task
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.
led-strip
Ethernet controlled WS2812 RGB led-strip
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]
nixfiles
My kick-ass NixOS systems configurations!!
nixvim
Configure Neovim with Nix! [maintainer=@pta2002, @traxys, @GaetanLepage]
nodemcu-firmware
lua based interactive firmware for mcu like esp8266
obs-studio
OBS Studio - Free and open source software for live streaming and screen recording
pacaur
[unmaintained] An AUR helper that minimizes user interaction
paragrai
A python program to add line breaks to text without line breaks
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.