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.

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

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

souffle-lint

A linter for Soufflé Datalog

icemelter

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

dlsubst

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

dots

NixOS configuration + dotfiles

herms

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

ICEDB

A database of internal compiler errors (ICEs) in rustc

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.

anki-wikidata

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

dismantle

A library of assemblers and disassemblers derived from LLVM TableGen data

radamsa-sys

Rust bindings for Radamsa

versioning

Type-safe data versioning.

autoprogram

Documenting CLI programs

crucible

Crucible is a library for symbolic simulation of imperative programs

glacier

A big 'ol pile of ICE.

hs-opt-handbook.github.io

The Haskell Optimization Handbook

kvitable

Haskell Key/Value Indexed Table library

langston-barrett.github.io

LibAFL

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

llvm-pretty-bc-parser

Parser for the llvm bitcode format

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

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.

SpaceZLE

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

tree-sitter-sql

SQL grammar for tree-sitter