langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisIncBrooklyn
Pinned Repositories
coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
CoverTranslator
A tool for formally verifying Haskell code in Agda
icemelter
Icemelter automates steps in debugging rustc internal compiler errors (ICEs)
mogglo
Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
souffle-lint
A linter for Soufflé Datalog
tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
tree-splicer
Simple grammar-based test case generator
treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
write-yourself-a-scheme-in-agda
Like "Write Yourself a Scheme in 48 Hours", but in Agda
langston-barrett's Repositories
langston-barrett/tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
langston-barrett/treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
langston-barrett/treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
langston-barrett/tree-splicer
Simple grammar-based test case generator
langston-barrett/mogglo
Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
langston-barrett/tree-sitter-souffle
A tree-sitter grammar for Soufflé Datalog
langston-barrett/souffle-lint
A linter for Soufflé Datalog
langston-barrett/icemelter
Icemelter automates steps in debugging rustc internal compiler errors (ICEs)
langston-barrett/dlsubst
A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
langston-barrett/dots
NixOS configuration + dotfiles
langston-barrett/herms
:stew::fork_and_knife: A command-line manager for delicious kitchen recipes
langston-barrett/ICEDB
A database of internal compiler errors (ICEs) in rustc
langston-barrett/langston-barrett
langston-barrett/tree-sitter-edit
A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (codemod) tools.
langston-barrett/anki-wikidata
Easily create high-quality Anki cards with data from Wikidata!
langston-barrett/dismantle
A library of assemblers and disassemblers derived from LLVM TableGen data
langston-barrett/radamsa-sys
Rust bindings for Radamsa
langston-barrett/SpaceZLE
A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs
langston-barrett/versioning
Type-safe data versioning.
langston-barrett/autoprogram
Documenting CLI programs
langston-barrett/crucible
Crucible is a library for symbolic simulation of imperative programs
langston-barrett/glacier
A big 'ol pile of ICE.
langston-barrett/hs-opt-handbook.github.io
The Haskell Optimization Handbook
langston-barrett/kvitable
Haskell Key/Value Indexed Table library
langston-barrett/langston-barrett.github.io
langston-barrett/LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
langston-barrett/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
langston-barrett/llvm-pretty-bc-parser
Parser for the llvm bitcode format
langston-barrett/parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
langston-barrett/rustc-dev-guide
A guide to how rustc works and how to contribute to it.