Owner
langston-barrett
24 indexed repositories · View on GitHub
-
treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
C++ · 119 stars
-
tree-crasher
Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
Rust · 86 stars
-
treeedb
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Rust · 85 stars
-
tree-splicer
Simple grammar-based test case generator
Rust · 48 stars
-
coq-big-o
A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
Coq · 35 stars
-
mogglo
Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
Rust · 35 stars
-
souffle-lint
A linter for Soufflé Datalog
Rust · 18 stars
-
tree-sitter-souffle
A tree-sitter grammar for Soufflé Datalog
C · 17 stars
-
contract.el
Racket-style higher-order contracts for Emacs Lisp
Emacs Lisp · 16 stars
-
amsthm-to-anki
Translate math notes written with the amsthm package to Anki notecards!
Haskell · 10 stars
-
duckalog
Datalog engine based on DuckDB
Rust · 10 stars
-
czz
Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
Haskell · 7 stars
-
zsh-contextual-abbrevs
Supercharged context-dependent aliases for ZSH that save you keystrokes!
Shell · 6 stars
-
icemelter
Icemelter automates steps in debugging rustc internal compiler errors (ICEs)
Rust · 6 stars
-
tree-sitter-edit
A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (cod...
Rust · 5 stars
-
lesshand
A shorthand for the 21st century
Rust · 4 stars
-
m3u-converter
Convert M3U files into another format (markdown, yaml, etc.)
Haskell · 3 stars
-
SpaceZLE
A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs
Shell · 3 stars
-
coq-typeclass-hierarchy
A full-featured hierarchy of typeclasses for functional programming in Coq
Coq · 1 star
-
whole-world-llvm
Compile large C(++) programs and their transitive dependencies to LLVM bitcode
Nix · 1 star
- 4 more repositories live on View on GitHub
-
langston-barrett/m3u-converter#2 · 0 comments · 0 reactions · 0 assignees ·
-
Use Megaparsec Open
langston-barrett/m3u-converter#3 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/amsthm-to-anki#1 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/amsthm-to-anki#2 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/amsthm-to-anki#3 · 3 comments · 0 reactions · 0 assignees ·
-
Pin nixpkgs 17.03 Open
langston-barrett/coq-typeclass-hierarchy#1 · 0 comments · 0 reactions · 0 assignees ·
-
rename unit Open
langston-barrett/coq-typeclass-hierarchy#6 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/coq-typeclass-hierarchy#7 · 0 comments · 0 reactions · 0 assignees ·
-
Investigate Proviola Open
langston-barrett/coq-typeclass-hierarchy#10 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/coq-typeclass-hierarchy#12 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/coq-big-o#1 · 0 comments · 1 reaction · 0 assignees ·
-
langston-barrett/coq-big-o#2 · 0 comments · 0 reactions · 0 assignees ·
-
langston-barrett/contract.el#1 · 1 comment · 0 reactions · 0 assignees ·
-
langston-barrett/whole-world-llvm#1 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/core
langston-barrett/czz#25 · 0 comments · 0 reactions · 0 assignees ·
-
part/llvm
langston-barrett/czz#26 · 0 comments · 0 reactions · 0 assignees ·
-
effort/low part/llvm type/feature/override
langston-barrett/czz#29 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/core
langston-barrett/czz#34 · 0 comments · 0 reactions · 0 assignees ·
-
part/tui
langston-barrett/czz#35 · 0 comments · 0 reactions · 0 assignees ·
-
effort/low part/llvm
langston-barrett/czz#37 · 1 comment · 0 reactions · 0 assignees ·
-
part/core
langston-barrett/czz#38 · 0 comments · 0 reactions · 0 assignees ·
-
part/tui someday
langston-barrett/czz#39 · 0 comments · 0 reactions · 0 assignees ·
-
effort/low part/tui
langston-barrett/czz#40 · 0 comments · 0 reactions · 0 assignees ·
-
part/llvm
langston-barrett/czz#41 · 1 comment · 0 reactions · 0 assignees ·
-
effort/medium part/llvm
langston-barrett/czz#42 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/llvm
langston-barrett/czz#43 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/llvm
langston-barrett/czz#44 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/llvm
langston-barrett/czz#45 · 0 comments · 0 reactions · 0 assignees ·
-
Benchmarks Openeffort/high
langston-barrett/czz#46 · 0 comments · 0 reactions · 0 assignees ·
-
ci: Build Haddocks Openarea/infrastructure someday
langston-barrett/czz#52 · 0 comments · 0 reactions · 0 assignees ·
-
area/infrastructure
langston-barrett/czz#54 · 0 comments · 0 reactions · 0 assignees ·
-
area/infrastructure
langston-barrett/czz#55 · 0 comments · 0 reactions · 0 assignees ·
-
area/docs someday
langston-barrett/czz#66 · 0 comments · 0 reactions · 0 assignees ·
-
llvm: Link in libc++ Openpart/llvm
langston-barrett/czz#74 · 0 comments · 0 reactions · 0 assignees ·
-
area/tests part/llvm someday
langston-barrett/czz#75 · 0 comments · 0 reactions · 0 assignees ·
-
part/llvm
langston-barrett/czz#76 · 0 comments · 0 reactions · 0 assignees ·
-
effort/low part/core someday
langston-barrett/czz#79 · 0 comments · 0 reactions · 0 assignees ·
-
area/tests effort/medium part/llvm
langston-barrett/czz#81 · 0 comments · 0 reactions · 0 assignees ·
-
Forking strategies Opensomeday
langston-barrett/czz#87 · 0 comments · 0 reactions · 0 assignees ·
-
core: Replay a seed Openeffort/medium part/core
langston-barrett/czz#88 · 0 comments · 0 reactions · 0 assignees ·
-
area/docs
langston-barrett/czz#89 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/core someday
langston-barrett/czz#90 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/llvm
langston-barrett/czz#92 · 1 comment · 0 reactions · 0 assignees ·
-
langston-barrett/czz#93 · 0 comments · 0 reactions · 0 assignees ·
-
effort/medium part/core
langston-barrett/czz#103 · 0 comments · 0 reactions · 0 assignees ·
-
doc: Scripting API Openarea/docs effort/low
langston-barrett/czz#106 · 0 comments · 0 reactions · 0 assignees ·
-
area/docs effort/low
langston-barrett/czz#107 · 0 comments · 0 reactions · 0 assignees ·
-
Webassembly Openeffort/high
langston-barrett/czz#109 · 0 comments · 0 reactions · 0 assignees ·
-
part/llvm
langston-barrett/czz#111 · 0 comments · 0 reactions · 0 assignees ·
-
effort/low part/core
langston-barrett/czz#113 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.