Langston Barrett (@langston-barrett)
github

langston-barrett

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
Rust
64
star
2

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Rust
55
star
3

write-yourself-a-scheme-in-agda

Like "Write Yourself a Scheme in 48 Hours", but in Agda
Agda
51
star
4

treereduce

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
C++
50
star
5

coq-big-o

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
Coq
34
star
6

tree-splicer

Simple grammar-based test case generator
Rust
30
star
7

CoverTranslator

A tool for formally verifying Haskell code in Agda
Haskell
28
star
8

mogglo

Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
Rust
28
star
9

reed-thesis

My undergradate thesis on coinductive types in univalent type theory
TeX
16
star
10

contract.el

Racket-style higher-order contracts for Emacs Lisp
Emacs Lisp
13
star
11

tree-sitter-souffle

A tree-sitter grammar for Soufflé Datalog
C
13
star
12

souffle-lint

A linter for Soufflé Datalog
Rust
12
star
13

amsthm-to-anki

Translate math notes written with the amsthm package to Anki notecards!
Haskell
9
star
14

spacelix

Spacemacs-like configuration for Helix
8
star
15

duckalog

Datalog engine based on DuckDB
Rust
7
star
16

emoji.yml

a machine-readable (yaml) list of (almost) all unicode emoji
HTML
6
star
17

czz

Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
Haskell
6
star
18

icemelter

Icemelter automates steps in debugging rustc internal compiler errors (ICEs)
Rust
5
star
19

rdf-star-souffle

A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
Rust
5
star
20

nixpkgs-blight

Instrument the builds of tens of thousands of open-source packages
Nix
3
star
21

dots

NixOS configuration + dotfiles
Emacs Lisp
3
star
22

dlsubst

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

m3u-converter

Convert M3U files into another format (markdown, yaml, etc.)
Haskell
3
star
24

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.
Rust
2
star
25

langston-barrett

2
star
26

zsh-contextual-abbrevs

Supercharged context-dependent aliases for ZSH that save you keystrokes!
Shell
2
star
27

vagrant.py

A dynamic inventory script for use with Ansible and Vagrant
Python
2
star
28

galois-haskell-nix

Nix builds for most of the Haskell projects of @GaloisInc
Nix
2
star
29

ICEDB

A database of internal compiler errors (ICEs) in rustc
Rust
2
star
30

twjsrs

Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format
Rust
1
star
31

coq-typeclass-hierarchy

A full-featured hierarchy of typeclasses for functional programming in Coq
Coq
1
star
32

SpaceZLE

A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs
Shell
1
star
33

whole-world-llvm

Compile large C(++) programs and their transitive dependencies to LLVM bitcode
Nix
1
star
34

computational-homology

Python
1
star
35

anki-wikidata

Easily create high-quality Anki cards with data from Wikidata!
Python
1
star
36

radamsa-sys

Rust bindings for Radamsa
Rust
1
star
37

rdf-star-presidents

RDF-star dataset on U.S. presidents, mined from Wikidata.
Python
1
star
38

shell-hydra

Shell Hydra brings the goodness of Emacs's Hydra to the command line.
Rust
1
star