Pinned Repositories
BootMine
Bootable minesweeper game in a 512-byte boot sector
godot-portal-demo
Experimenting with portals in Godot Engine
good-scroll.el
Attempt at good pixel-based smooth scrolling in Emacs
org-fragtog
Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
pwninit
pwninit - automate starting binary exploit challenges
unf
UNixize Filename -- replace annoying anti-unix characters in filenames
userland-execve-rust
An implementation of execve() in user space
WineBox86.apk
x86 Wine on ARM Android with Box86 (very much WIP)
xkcd-unreachable-rs
A Rust macro xkcd_unreachable!() inspired by https://xkcd.com/2200/
yew-octicons
Easy support for Octicons in yew
io12's Repositories
io12/pwninit
pwninit - automate starting binary exploit challenges
io12/org-fragtog
Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
io12/godot-portal-demo
Experimenting with portals in Godot Engine
io12/unf
UNixize Filename -- replace annoying anti-unix characters in filenames
io12/userland-execve-rust
An implementation of execve() in user space
io12/yew-octicons
Easy support for Octicons in yew
io12/nixos-framework-led
NixOS module for changing the LED color on Framework laptops
io12/Sandvox
The 3D voxel falling-sand game
io12/qemu-libretro
QEMU libretro core port
io12/nix-flatpak
Declarative Flatpak management for the Nix package manager
io12/discord-bedtime
A Discord bot reminding you to sleep
io12/gnu-bionic-pipe
io12/lambda-cove
https://lambdacove.netlify.com/
io12/nonsense-discord-bot
io12/proof-stack-game
io12/rust-spinners-rand
Get a random `Spinners` from the `spinners` crate
io12/discord-prediction-market-bot
Discord bot for play-money prediction markets
io12/ghidra-sleigh
io12/libc
Raw bindings to platform APIs for Rust
io12/libretro-super
Super repo for other libretro projects. Fetches, builds and installs.
io12/libretro-system-files
io12/mcsema
Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
io12/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
io12/mmverify.py
Metamath verifier in Python
io12/nixpkgs
Nix Packages collection & NixOS
io12/NixThePlanet
Run macOS, Windows and more via a single Nix command, or simple nixosModules
io12/ParallelizationForMPC
io12/pinetime-rust-mynewt
PineTime Smart Watch firmware based on Rust and Apache Mynewt OS
io12/rust
Empowering everyone to build reliable and efficient software.
io12/vfs