io12 Goto Github PK

afl

american fuzzy lop (with undocumented patches)

angr-bad-edition

A mediocre angr clone (WIP)

aris-java

Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

bevy-website

The source files for the official Bevy website

blur-my-shell

Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview

bootmine

Bootable minesweeper game in a 512-byte boot sector

box86

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

brainfsym

Rust library for symbolically executing brainf*** code

carp

A statically typed lisp, without a GC, for real-time applications.

chip8

A chip8 emulator in C and ncurses

cmatrix

Terminal based "The Matrix" like implementation

coq-proofs

My proofs for the Coq proof assistant

deriv-calc

A derivative calculator and equation simplifier in Python.

dhall-rust

Maintainable configuration files, for Rust users

discord-bedtime

A Discord bot reminding you to sleep

dockerimages

Repository for holding Submitty autograding docker images and pieces to build them

doom-emacs

An Emacs framework for the stubborn martian hacker

emacs-application-framework

Emacs application framework

emacs-everywhere

System-wide popup Emacs windows for quick edits

ethereum-org-website

Ethereum.org is a primary online resource for the Ethereum community.

ffmpeg-fetch-small-samples

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

fish-shell

The user-friendly command line shell.

followthebeat

gcc-mips-spim

Buggy WIP toolchain to compile C to SPIM-compatible MIPS assembly

ghidra

Ghidra is a software reverse engineering (SRE) framework

godot-portal-demo

Experimenting with portals in Godot Engine

good-scroll.el

Attempt at good pixel-based smooth scrolling in Emacs

honggfuzz-qemu

Ditto.

kind

A modern proof language

lambda

Lambda calculus REPL written in C