cppio

uefi-backdoor

A UEFI Application that hooks SetVariable to allow a user-space program to access kernel memory.

web-telnet

Web Browser telnet that uses hterm and websockify

CSAW-RED-Quals-2018-Writeups

Write-ups for the 2018 CSAW RED Quals

picoCTF-2018-Writeups

Write-ups for the picoCTF 2018 Competition

usrsctp-rs

SCTP user-land implementation (usrsctp) bindings for Rust

ezhook

Function hooking for x86 in Rust.

keyboard

A keyboard tester

SpriteBounceSDL

A simple program using SDL in c++ as an example.

0000

0000 discord bot

lean-stuff

agda

Agda is a dependently typed programming language / interactive theorem prover.

cppio.github.io

debugger

A Python debugger

lean4

Lean 4 programming language and theorem prover

Shuffleboard-LargeText

A Plugin that includes a Large Text widget for Shuffleboard

Shuffleboard-PriorityList

A Priority List Plugin for Shuffleboard

units

Units and Values, including conversions, in Python

wsl-cmake-msvc

CMake Toolchain to use MSVC from WSL