TXGL

CuckooCache

Hourglass Cash

Kunta

Pure Julia MapReduce

Force Desk

Federated Systems

BTCSpark

Scaling Bitcoin

Smell Clock

Stellar Consensus

The Combine

Verified DSP in Coq

Regulator Miner Attack

Bitcoin Blocksize

Multicore Bypass

Merkelized ASTs

Capabilities in JOS

MIT Bitcoin Project

Loupe

Laser Projector

Tidbit

ML on Reddit

Saving HackMIT?

BarBot

Tornado Trails

Grafitti Codes

MeIT & GeoNote

Pokerbots

Mantis 9 Mill

Junkyard Jumbotron