Langston Barrett

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.

treeedb. Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.

write-yourself-a-scheme-in-agda. Like "Write Yourself a Scheme in 48 Hours", but in Agda

tree-splicer. Simple grammar-based test case generator

mogglo. Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns

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

souffle-lint. A linter for Soufflé Datalog

reed-thesis. My undergradate thesis on coinductive types in univalent type theory

tree-sitter-souffle. A tree-sitter grammar for Soufflé Datalog

contract.el. Racket-style higher-order contracts for Emacs Lisp

spacelix. Spacemacs-like configuration for Helix

amsthm-to-anki. Translate math notes written with the amsthm package to Anki notecards!

duckalog. Datalog engine based on DuckDB

emoji.yml. a machine-readable (yaml) list of (almost) all unicode emoji

czz. Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer

zsh-contextual-abbrevs. Supercharged context-dependent aliases for ZSH that save you keystrokes!

icemelter. Icemelter automates steps in debugging rustc internal compiler errors (ICEs)

rdf-star-souffle. A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner

nixpkgs-blight. Instrument the builds of tens of thousands of open-source packages

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.

dots. NixOS configuration + dotfiles

dlsubst. A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!

lesshand. A shorthand for the 21st century

m3u-converter. Convert M3U files into another format (markdown, yaml, etc.)

SpaceZLE. A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs

galois-haskell-nix. Nix builds for most of the Haskell projects of @GaloisInc

zbr. A tool for managing auto-expanding abbreviations for ZSH

radamsa-sys. Rust bindings for Radamsa

vagrant.py. A dynamic inventory script for use with Ansible and Vagrant

herms. :stew::fork_and_knife: A command-line manager for delicious kitchen recipes

rdf-star-presidents. RDF-star dataset on U.S. presidents, mined from Wikidata.

versioning. Type-safe data versioning.

anki-wikidata. Easily create high-quality Anki cards with data from Wikidata!

langston-barrett.

twjsrs. Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format