Langston Barrett's repositories
LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
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
crucible
Crucible is a library for symbolic simulation of imperative programs
souffle-lint
A linter for Soufflé Datalog
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.
autoprogram
Documenting CLI programs
llvm-pretty-bc-parser
Parser for the llvm bitcode format
kvitable
Haskell Key/Value Indexed Table library
llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
SpaceZLE
A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs
radamsa-sys
Rust bindings for Radamsa
hs-opt-handbook.github.io
The Haskell Optimization Handbook
versioning
Type-safe data versioning.
anki-wikidata
Easily create high-quality Anki cards with data from Wikidata!
glacier
A big 'ol pile of ICE.
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
tree-sitter-sql
SQL grammar for tree-sitter
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.