Benjamin Levy

pwninit. pwninit - automate starting binary exploit challenges

org-fragtog. Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them

good-scroll.el. Attempt at good pixel-based smooth scrolling in Emacs

BootMine. Bootable minesweeper game in a 512-byte boot sector

godot-portal-demo. Experimenting with portals in Godot Engine

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

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/

userland-execve-rust. An implementation of execve() in user space

yew-octicons. Easy support for Octicons in yew

qemu-libretro. QEMU libretro core port

nixos-framework-led. NixOS module for changing the LED color on Framework laptops

Sandvox. The 3D voxel falling-sand game

nix-flatpak. Declarative Flatpak management for the Nix package manager

deriv-calc. A derivative calculator and equation simplifier in Python.

gnu-bionic-pipe. Rust

quoftc. The Quoft Programming Language Compiler

discord-bedtime. A Discord bot reminding you to sleep

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

MarioLANG. A minimal MarioLANG interpreter

lambda. Lambda calculus REPL written in C

llvm-rustc-bug-repro. Rust

rust-musl-builder-lzma. rust-musl-builder with liblzma support

proof-stack-game. Rust

x86-bare-metal-examples. Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland cheat at: https://github.com/cirosantilli/linux-kernel-module-cheat#userland-assembly ARM baremetal setup at: https://github.com/cirosantilli/linux-kernel-module-cheat#baremetal-setup

rust-spinners-rand. Get a random `Spinners` from the `spinners` crate

Chip8. A chip8 emulator in C and ncurses

nonsense-discord-bot. Rust

OS. A simple OS in C

nvim-plumb. Neovim plugin for integration with the Plan 9 plumber

toy-git-rs. Toy git implementation in Rust

coq-proofs. My proofs for the Coq proof assistant

angr-bad-edition. A mediocre angr clone (WIP)

discord-prediction-market-bot. Discord bot for play-money prediction markets

web-dump. /tmp but for static html

honggfuzz-qemu. Ditto.

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

gcc-mips-spim. Buggy WIP toolchain to compile C to SPIM-compatible MIPS assembly

sandy. A fork of sandy with mods to make it more like vim

raycaster. C

shexedit. A shell script for hex editing

brainfsym. Rust library for symbolically executing brainf*** code

box86. Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices

afl. american fuzzy lop (with undocumented patches)