https://github.com/io12/pwninit

pwninit - automate starting binary exploit challenges

binary elf exploit init pwn

Last synced: 02 Apr 2025

https://github.com/io12/org-fragtog

Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them

emacs latex org-mode toggle

Last synced: 20 Mar 2025

https://github.com/io12/good-scroll.el

Attempt at good pixel-based smooth scrolling in Emacs

emacs pixel pixel-lines scrolling-algorithms smooth-scrolling

Last synced: 20 Mar 2025

https://github.com/io12/bootmine

Bootable minesweeper game in a 512-byte boot sector

16-bit assembly bios boot-sector bootloader dos game golf mbr mines minesweeper x86

Last synced: 20 Jul 2025

https://github.com/io12/BootMine

Bootable minesweeper game in a 512-byte boot sector

16-bit assembly bios boot-sector bootloader dos game golf mbr mines minesweeper x86

Last synced: 09 Jul 2025

https://github.com/io12/unf

UNixize Filename -- replace annoying anti-unix characters in filenames

cli files rust shell unix

Last synced: 22 Jul 2025

https://github.com/io12/yew-octicons

Easy support for Octicons in yew

Last synced: 13 May 2025

https://github.com/io12/sandvox

The 3D voxel falling-sand game

3d conrod falling-sand game glium glutin opengl rust sandbox voxel

Last synced: 07 May 2025

https://github.com/io12/turboproof

A dependently-typed lisp and proof assistant [IN DEVELOPMENT]

Last synced: 23 Jul 2025

https://github.com/io12/quoftc

The Quoft Programming Language Compiler

compiler programming-language quoft

Last synced: 23 Jun 2025

https://github.com/io12/llvm-rustc-bug-repro

Last synced: 08 Sep 2025

https://github.com/io12/os

A simple OS in C

c kernel operating-system os

Last synced: 30 Jun 2025

https://github.com/io12/rust-spinners-rand

Get a random `Spinners` from the `spinners` crate

Last synced: 18 Jun 2025

https://github.com/io12/shexedit

A shell script for hex editing

Last synced: 14 Oct 2025

https://github.com/io12/ffmpeg-fetch-small-samples

Script to fetch small files from https://samples.ffmpeg.org/

download ffmpeg fuzzing samples script testcase

Last synced: 14 Jul 2025

https://github.com/io12/coq-proofs

My proofs for the Coq proof assistant

coq coq-proofs induction proof-assistant

Last synced: 12 Oct 2025