Discover @kmcallister Open Source projects

Keegan McAllister (@kmcallister)

kmcallister

Stars
1,437
Global Rank 21,617 (Top 0.8 %)
Followers 250
Following 12
Registered about 14 years ago
Most used languages

Haskell
33.3 %

Rust
27.5 %

C
17.6 %

Assembly
5.9 %

Shell
3.9 %

HTML
2.0 %

Alloy 2.0 %

JavaScript
2.0 %

Scheme
2.0 %

C++
2.0 %

Python
2.0 %
Location 🇺🇸 United States
Country Total Rank 6,491
Country Ranking

Alloy 15

Assembly
65

Scheme
66

Haskell
242

Rust
430

C
1,418

Shell
3,685

glassful

Rust-like syntax for OpenGL Shading Language

aesni-examples

Example code for the AES crypto instructions on Intel chips

rpi-battery-monitor

Monitor battery voltage from a Raspberry Pi

rustic-symmetries

Cheat sheet for concepts in Rust which come in matching sets or have some pleasing symmetry

alameda

Linux kernel JIT spray for SMEP / KERNEXEC bypass

embedded-breakpoints

Embed GDB breakpoints in C source code

launch-code

Cryptographic signatures for auditing unsafe code in Rust

tiny-rust-demo

Using Rust to make a 151-byte static AMD64 Linux binary

qoppa

Metacircular evaluator for a tiny fexpr language

urpc

Tiny RPC framework for Rust

sliderust

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

seqloq

rwlock with writer priority and optimistic reads

literator

Rust macros for container initialization and iterator literals

taralli

Screen edge pointer wrapping for X

travis-doc-upload

A more secure recipe for uploading Rust docs to GitHub Pages

blog-misc

Miscellaneous files from my blog

azurescens

Renders interactive fractal-like animations

phosphene

fractal video feedback demo as a PC master boot record

hdis86

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

dynamodule

Experimental dynamic OOP framework for Rust

autoharden

Automatic binary hardening with Autoconf

math-compose

X compose key bindings for mathematics, etc

pngbox

Demo: OS sandboxing for unsafe code in Rust

vgrs

Valgrind client requests for Rust

sat

Interface for defining and solving SAT problems in Rust

breakfast

minimal breakpoints library for x86 Linux

shqq

Embed shell commands with interpolated Haskell variables, and capture output

rip

Arbitrary computation on x86 without using registers

dewdrop

Find gadgets for return-oriented programming on x86

spawn

A tiny Haskell library for concurrent computations

tracepoints

Demo of self-modifying code in quasi-C

cccallcc

call/cc for C++

propane

Functional synthesis of images and animations

haskell-re2

Haskell (and C) interface to the RE2 regular expression library

ocb.rs

Rust bindings for OCB authenticryption (AEAD) mode

concorde

Haskell interface to the Concorde solver for the Traveling Salesperson Problem

hexquote

Hexadecimal ByteString literals, with placeholders that bind variables

gcode

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

detrospector

Markov chain text generator

safe-globals

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

spool

Convert between ByteString and Vector.Storable without copying

jvflife

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

gc-models

Garbage collector models in Alloy

kmcallister.github.io

forkallcc

fork(2)-based continuations for Rust

fixed-size-array

Rust trait for working with fixed size arrays

modela-utils

Utilities for milling circuit boards with the Modela MDX-20

posix-escape

Quote arguments to be passed through the Unix shell

minrisc

Minimal RISC-V emulator

global-lock

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

clogparse

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

yices-easy

Simple interface from Haskell to the Yices SMT (SAT modulo theories) solver