Benjamin Levy (@io12)
github

io12

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,841
  • Global Rank 16,785 (Top 0.6 %)
  • Followers 95
  • Following 289
  • Registered over 10 years ago
  • Most used languages
    Rust
         35.9 %
    C
         23.1 %
    Python
         12.8 %
    Nix
         5.1 %
    Emacs Lisp
         5.1 %
    HTML
         5.1 %
    Assembly
         2.6 %
    Dockerfile
         2.6 %
    Java
         2.6 %
    GDScript     2.6 %
    Coq     2.6 %

Top repositories

1

pwninit

pwninit - automate starting binary exploit challenges
Rust
762
star
2

org-fragtog

Automatically toggle Org mode LaTeX fragment previews as the cursor enters and exits them
Emacs Lisp
369
star
3

good-scroll.el

Attempt at good pixel-based smooth scrolling in Emacs
Emacs Lisp
191
star
4

BootMine

Bootable minesweeper game in a 512-byte boot sector
Assembly
162
star
5

godot-portal-demo

Experimenting with portals in Godot Engine
GDScript
79
star
6

WineBox86.apk

x86 Wine on ARM Android with Box86 (very much WIP)
Java
66
star
7

unf

UNixize Filename -- replace annoying anti-unix characters in filenames
Rust
57
star
8

xkcd-unreachable-rs

A Rust macro xkcd_unreachable!() inspired by https://xkcd.com/2200/
Rust
41
star
9

yew-octicons

Easy support for Octicons in yew
Rust
18
star
10

nix-snapd

Snap package for Nix and NixOS
Nix
14
star
11

userland-execve-rust

An implementation of execve() in user space
Rust
10
star
12

Sandvox

The 3D voxel falling-sand game
Rust
9
star
13

hpmor-man-pages

Harry Potter and the Methods of Rationality, Unix Man Page Edition
Python
5
star
14

nix-flatpak

Declarative Flatpak management for the Nix package manager
Python
5
star
15

llvm-rustc-bug-repro

Rust
3
star
16

turboproof

A dependently-typed lisp and proof assistant [IN DEVELOPMENT]
Rust
3
star
17

quoftc

The Quoft Programming Language Compiler
C
3
star
18

MarioLANG

A minimal MarioLANG interpreter
C
3
star
19

deriv-calc

A derivative calculator and equation simplifier in Python.
Python
3
star
20

lambda-cove

https://lambdacove.netlify.com/
HTML
2
star
21

OS

A simple OS in C
C
2
star
22

discord-bedtime

A Discord bot reminding you to sleep
Rust
2
star
23

lambda

Lambda calculus REPL written in C
C
2
star
24

nonsense-discord-bot

Rust
2
star
25

rust-spinners-rand

Get a random `Spinners` from the `spinners` crate
Rust
2
star
26

rust-musl-builder-lzma

rust-musl-builder with liblzma support
Dockerfile
2
star
27

web-dump

/tmp but for static html
HTML
2
star
28

Chip8

A chip8 emulator in C and ncurses
C
2
star
29

coq-proofs

My proofs for the Coq proof assistant
Coq
1
star
30

qemu-libretro

QEMU libretro core port
C
1
star
31

angr-bad-edition

A mediocre angr clone (WIP)
Rust
1
star
32

sandy

A fork of sandy with mods to make it more like vim
C
1
star
33

ffmpeg-fetch-small-samples

Script to fetch small files from https://samples.ffmpeg.org/
Python
1
star
34

raycaster

C
1
star
35

brainfsym

Rust library for symbolically executing brainf*** code
Rust
1
star
36

gcc-mips-spim

Buggy WIP toolchain to compile C to SPIM-compatible MIPS assembly
C
1
star
37

nixos-framework-led

NixOS module for changing the LED color on Framework laptops
Nix
1
star
38

nvim-plumb

Neovim plugin for integration with the Plan 9 plumber
Python
1
star
39

toy-git-rs

Toy git implementation in Rust
Rust
1
star