abiggerhammer

SimpleKVM

Use multiple computers using one set of monitors, mouse and keyboard

gfcrc

TryHammer

qemu_blog

A series of posts about QEMU internals:

FAW

Galois Format Analysis Workbench

follow

DEPRECATED... See https://github.com/iohzrd/identia

TAADpapers

Must-read Papers on Textual Adversarial Attack and Defense

libdebugme

Automatically spawn gdb on error.

Big-Cases

The basic code behind the @big_cases Twitter bot

touist

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

CoqCheatSheet

Reference sheet for the Coq language.

android-rs-glue

Glue between Rust and Android

psi-plus-snapshots

Codebase snapshots for Psi+ project

LIA_RAL

A high-level toolkit for speaker recognition, build on top of ALIZE-Core.

rust-mailbox

MBOX reader.

facebook

facebook.tracking.exposed - collaborative tool for algorithm investigation

word2vec-api

Simple web service providing a word embedding model

agda-from-nothing

A workshop on learning Agda with minimal prerequisites.

rules_closure

Closure rules for Bazel

autoclave

repeatedly run programs until they break, and be ready to attach a debugger

floodgate

A browser extension allows users to mute unwanted content on the Web.

gcov

gnu gcov like tool

HoneyBadger

Quantum Insert detector/recorder

huginn

Create agents that monitor and act on your behalf. Your agents are standing by!

zcash

Zcash - Internet Money

csp-builder

Build Content-Security-Policy headers from a JSON file (or build them programmatically)

nanomsg.rs

Nanomsg library for Rust

rgisclass

R GIS Class

rop-tool

A tool to help you write binary exploits

rustix

Unix kernel in rust