Langston Barrett
Langston Barrett
coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
reed-thesis
My undergradate thesis on coinductive types in univalent type theory
tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
mogglo
Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
tree-splicer
Simple grammar-based test case generator
treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars