alwilson

evil

Linux netfilter module to toggle evil bit (RFC 3514) in all outgoing IPv4 packets

draw-server

Collaborative drawing site powered by websockets

epistemic-graphs

Tools to model the relationships between beliefs and arguments as graphs.

forkd

Sniff out what others are doing, log forks in userspace by abusing /proc/loadavg

nload

real time monitor for network traffic

pyvsc_testing

Tests looking at performance and distribution of randomized constraint using pyvsc

advent-of-code-2015

advent-of-code-2018

Advent of Code 2018

advent-of-code-2019

Advent of Code 2019

advent-of-code-2020

Advent of Code 2020 Solutions

advent-of-code-2021

advent-of-code-2022

advent-of-code-2023

fastforward

May your uptime grow as long as your beard.

gcc-python-plugin

GCC plugin that embeds CPython inside the compiler

git

Git - the stupid content tracker - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

mate-applets

Applets for use with the MATE panel

mate-panel

MATE panel

pgscrap

Linux memory scrubber to aid ECC-enabled DRAM not supporting patrol scrubbing

pyvsc

Python packages providing a library for Verification Stimulus and Coverage

rtl_433

Program to decode radio transmissions from devices on the ISM bands (and other frequencies)

smt2_rand_sampler

Explorations in Uniform Sampling of SMT2 Constraints

snakepit-game

star_battle_solver

Solve Star Battle puzzles using z3

wine-discord-ipc-bridge

Enable games running under wine to use Discord Rich Presence

z3guide

Tutorials and courses for Z3