Keegan McAllister

glassful. Rust-like syntax for OpenGL Shading Language

178

aesni-examples. Example code for the AES crypto instructions on Intel chips

85

rpi-battery-monitor. Monitor battery voltage from a Raspberry Pi

78

rustic-symmetries. Cheat sheet for concepts in Rust which come in matching sets or have some pleasing symmetry

69

tiny-rust-demo. Using Rust to make a 151-byte static AMD64 Linux binary

58

embedded-breakpoints. Embed GDB breakpoints in C source code

55

launch-code. Cryptographic signatures for auditing unsafe code in Rust

55

alameda. Linux kernel JIT spray for SMEP / KERNEXEC bypass

55

qoppa. Metacircular evaluator for a tiny fexpr language

44

urpc. Tiny RPC framework for Rust

33

seqloq. rwlock with writer priority and optimistic reads

33

sliderust. Write slides in rustdoc and view them in Servo or any browser!

30

literator. Rust macros for container initialization and iterator literals

26

taralli. Screen edge pointer wrapping for X

24

travis-doc-upload. A more secure recipe for uploading Rust docs to GitHub Pages

21

blog-misc. Miscellaneous files from my blog

19

azurescens. Renders interactive fractal-like animations

19

phosphene. fractal video feedback demo as a PC master boot record

18

sat. Interface for defining and solving SAT problems in Rust

14

autoharden. Automatic binary hardening with Autoconf

14

vgrs. Valgrind client requests for Rust

14

hdis86. Haskell interface to the udis86 disassembler for x86 and x86-64 / AMD64

14

dynamodule. Experimental dynamic OOP framework for Rust

14

math-compose. X compose key bindings for mathematics, etc

13

pngbox. Demo: OS sandboxing for unsafe code in Rust

13

mosh. Mobile Shell

13

shqq. Embed shell commands with interpolated Haskell variables, and capture output

11

breakfast. minimal breakpoints library for x86 Linux

11

tracepoints. Demo of self-modifying code in quasi-C

8

dewdrop. Find gadgets for return-oriented programming on x86

8

rip. Arbitrary computation on x86 without using registers

8

cccallcc. call/cc for C++

7

spawn. A tiny Haskell library for concurrent computations

7

html5ever. High-performance browser-grade HTML5 parser

6

ocb.rs. Rust bindings for OCB authenticryption (AEAD) mode

5

concorde. Haskell interface to the Concorde solver for the Traveling Salesperson Problem

4

propane. Functional synthesis of images and animations

4

haskell-re2. Haskell (and C) interface to the RE2 regular expression library

4

spool. Convert between ByteString and Vector.Storable without copying

3

detrospector. Markov chain text generator

3

safe-globals. Safe top-level mutable variables for Haskell, which scope like ordinary values

3

jvflife. Homebrew code for the JVF 2010-A LED sign; Game of Life demo

3

tool-wizard. G-code postprocessor for toolchangers

3

forkallcc. fork(2)-based continuations for Rust

3

hexquote. Hexadecimal ByteString literals, with placeholders that bind variables

3

gcode. Haskell library to produce G-code, used to control CNC equipment

3

gc-models. Garbage collector models in Alloy

2

kmcallister.github.io. HTML

2

fixed-size-array. Rust trait for working with fixed size arrays

2

posix-escape. Quote arguments to be passed through the Unix shell

2

global-lock. Provides a single global lock for Haskell code, implemented without unsafePerformIO

1

yices-easy. Simple interface from Haskell to the Yices SMT (SAT modulo theories) solver

1

minrisc. Minimal RISC-V emulator

1

clogparse. Parse IRC logs, such as the #haskell logs on tunes.org

1