Discover @nelhage Open Source projects

Nelson Elhage (@nelhage)

nelhage

Stars
7,267
Global Rank 3,370 (Top 0.2 %)
Followers 841
Following 12
Registered over 16 years ago
Most used languages

C
17.6 %

Python
16.2 %

Go
13.2 %

C++
11.8 %

Perl
11.8 %

JavaScript
4.4 %

Emacs Lisp
4.4 %

Rust
4.4 %

Shell
2.9 %

Haskell
2.9 %

HTML
2.9 %

Assembly
1.5 %

TLA 1.5 %

Coq 1.5 %

Julia
1.5 %

Brainfuck 1.5 %
Location 🇺🇸 United States
Country Total Rank 1,489
Country Ranking

TLA 33

Brainfuck 46

C
66

Emacs Lisp
162

Coq 167

Go
582

Perl
740

C++
1,022

Julia
1,369

Haskell
1,515

Rust
1,644

Assembly
2,422

Shell
4,922

reptyr

Reparent a running program to a new terminal

llama

gojit

JIT code-generation in Go!

rules_boost

bazel build rules to use boost in bazel projects

ministrace

A minimal toy implementation of strace(1)

reverse-android

Reverse-engineering tools for Android applications

taktician

An implementation of and AI for the game of Tak

elisp

nelhage's emacs configuration

bemu

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

virtunoid

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

transformer-rs

A sketch of a Transformer in Rust for a blog post

ultimattt

A Rust Implementation of Ultimate Tic Tac Toe

crossme

A collaborative crossword-puzzle solver written on Meteor

util-scripts

pw

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.

re2

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

s3multiget

Some benchmarks of S3 multigets

aoc2023

Advent of Code 2023

x11-proxy

git-merge-rename

A Dropbox-inspired git merge strategy that never fails

jsbeta

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

plv8js

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

github-downloader

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

librstpreload

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

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

blog.nelhage.com

tf-experiments

some experiments with tensorflow and tf on ec2

rules_fuzzer

bazel+libfuzzer

barnowl-zstatus

Z-Status module for BarnOwl

check-plus

A simple EDSL for testing C code using Check

flnv

nelhage's experimental toy scheme implementation

chef-config-nelhage

chef config for my personal infrastructure

barnowl-devutils

DevUtils module for BarnOwl

barnowl-alias

Alias module for BarnOwl

coop

A Coq playground

iron-gollum

authmitedu

Code for auth.mit.edu OpenID provider

gollum

A toy typed lambda-calculus

mitua

barnowl-modules

Superrepo for my BarnOwl modules

data-sexpression

A perl S-Expression parser

snb

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

accidentallyquadratic

I accidentally an n²

barnowl-vt-asedeno

VT_ASedeno style for BarnOwl

bazel_git_repositories

Implementation of bazel `git_repository` remotes using Skylark

hszephyr

Haskell libzephyr bindings

claude

Scrappy CLI for Claude

duckdb-parquet-bugs

Parquet files and generators for some DuckDB parquet bugs

HIBP-reader

reader for HIPB sha files

Ascension

Jifty webapp to track progress in nethack

arduinoproject

aggregator of random arduino projects

tlaplus-sandbox

toying with TLA+

minimax.dev

Hugo site for https://minimax.dev/

brainfuck

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

magit

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

iobench

Some mostly-one-off IO benchmark scripts

party-zephyr

A partychat<->Zephyr bridge

proc-maps-bench

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

godis86

golang wrapper for udis86

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

haskell-hunt

Various Haskell utilities to help with solving Mystery Hunt puzzles

langer

xformer

Some toy transformer implementations

rubik

Rubik's Cube implementation and experiments

aoc2021

Advent of Code 2021

asciisnowmanforyou.com

http://asciisnowmanforyou.com

Text-Index-Database

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