Stanislas Polu

Projects

srchd Research agents harness (2026) [ code ]
gptf Generative Language Modeling for Automated Theorem Proving (2019-22) [ paper paper paper ]
dr1ven Exploratory work on autonomous driving (2018) [ code code thread thread ]
fuzz1ng OpenAI Gym environment for binary fuzzing based on afl (2018) [ code ]
warp Secure and simple terminal sharing (2017) [ code ]
dazzle Mobile web browser engineered from first-principle (2017) [ site, app, code ]
settle Decentralized trust graph for value exchange without a blockchain (2016) [ site, code ]
breach Scriptable browser written in JS (2014-15) [ site, code code ]
gig.fs Log-based multi node storage system based on operation propagation and oplog pruning (2014) [ code ]
repl JSON manipulation and enrichment tool (2014) [ app, code ]
dwm.vim Tiled window management for vim (2014) [ script, code ]
vt.js A reusable VT Emulator written in NodeJS (2013) [ code ]
waitfs Symlink wait/update FUSE service (2009) [ code ]
pFS Personal Storage Clouds from Portable Components (2008) [ paper, code ]