Discover nelhage/authmitedu Open Source project

A minimal toy implementation of strace(1)

287

ministrace

161

reverse-android

Reverse-engineering tools for Android applications

Emacs Lisp

taktician

An implementation of and AI for the game of Tak

elisp

nelhage's emacs configuration

Emacs Lisp

bemu

A just-in-time compiler for MIT 6.004's "Beta" processor.

My KVM breakout code from my DEFCON/Black Hat 2011 presentation

virtunoid

transformer-rs

A sketch of a Transformer in Rust for a blog post

Rust

ultimattt

A Rust Implementation of Ultimate Tic Tac Toe

Rust

crossme

A collaborative crossword-puzzle solver written on Meteor

JavaScript

util-scripts

~/bin/

Shell

My personal GPG-based password manager

nullderef

A module for playing with kernel NULL pointer dereferences

iron-blogger

Code to run the Iron Blogger event.

A git mirror of Russ Cox's re2 regular-expression library

re2

Some benchmarks of S3 multigets

s3multiget

aoc2023

Advent of Code 2023

A Dropbox-inspired git merge strategy that never fails

x11-proxy

git-merge-rename

Shell

jsbeta

An emulator for 6.004's Beta processor for the browser.

JavaScript

plv8js

Fork of http://code.google.com/p/plv8js

Scripts to download all of github. Or at least much of it.

github-downloader

A LD_PRELOAD library to make any app support Random Standard Time.

librstpreload

go.cli

Some utilities for writing CLIs in go.

ghostscript-afl

fuzzing ghostscript with AFL

kernel-workshop

demo kernel modules for a workshop at recurse center

blog.nelhage.com

JavaScript

tf-experiments

some experiments with tensorflow and tf on ec2

rules_fuzzer

bazel+libfuzzer

Z-Status module for BarnOwl

barnowl-zstatus

A simple EDSL for testing C code using Check

check-plus

flnv

nelhage's experimental toy scheme implementation

chef-config-nelhage

chef config for my personal infrastructure

DevUtils module for BarnOwl

barnowl-devutils

A toy typed lambda-calculus

barnowl-alias

Alias module for BarnOwl

coop

iron-gollum

gollum

mitua

barnowl-modules

Superrepo for my BarnOwl modules

data-sexpression

A perl S-Expression parser

Sexy Nerd Bot - A bot for the MIT prefrosh chat room

snb

accidentallyquadratic

I accidentally an n²

VT_ASedeno style for BarnOwl

barnowl-vt-asedeno

Implementation of bazel `git_repository` remotes using Skylark

bazel_git_repositories

Haskell libzephyr bindings

hszephyr

Haskell

claude

Scrappy CLI for Claude

duckdb-parquet-bugs

Parquet files and generators for some DuckDB parquet bugs

HIBP-reader

reader for HIPB sha files

Jifty webapp to track progress in nethack

Ascension

aggregator of random arduino projects

arduinoproject

Assembly

tlaplus-sandbox

toying with TLA+

TLA

minimax.dev

Hugo site for https://minimax.dev/

HTML

brainfuck

Don't you have your own repository of brainfuck programs?

Brainfuck

magit

A magit fork with fixes/changes/hacks I've found useful.

Emacs Lisp

iobench

Some mostly-one-off IO benchmark scripts

A partychat<->Zephyr bridge

party-zephyr

some benchmarking experiments related to /proc/$pid/maps

proc-maps-bench

golang wrapper for udis86

godis86

mode13h

Some code I wrote back in high school for doing graphics using VGA Mode 13h

mongod-tests

Framework for writing mongod tests and reproducers

Various Haskell utilities to help with solving Mystery Hunt puzzles

haskell-hunt

Haskell

langer

xformer

Some toy transformer implementations

Rubik's Cube implementation and experiments

rubik

http://asciisnowmanforyou.com

aoc2021

Advent of Code 2021

Julia

asciisnowmanforyou.com

HTML

Text-Index-Database

An old attempt at writing my own full-text indexing solution