Lesshand : A shorthand for the 21st centurytreereduce : A fast, parallel, syntax-aware test case reducer based on tree-sitter grammarstree-splicer : Simple grammar-based test case generator (black-box fuzzer)
cclyzer++ : a precise and scalable global pointer analysis for LLVM codedlsubst : Experimental bottom-up Datalog engine based on explicit substitutionsDuckalog : Datalog engine based on DuckDBrdf-star-souffle :
Toolkit for importing and reasoning about RDF-star data in Soufflésouffle-lint : A linter for Soufflé Datalogtreeedb : Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.tree-sitter-souffle : A tree-sitter grammar for Soufflé Datalog
czz :
Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzerradamsa-sys :
Rust bindings for Radamsatreereduce : A fast, parallel, syntax-aware test case reducer based on tree-sitter grammarstree-crasher : Easy-to-use grammar-based black-box fuzzertree-splicer : Simple grammar-based test case generator
drice :
Dr. Ice diagnoses internal compiler errors (ICEs) in rustcIcemelter :
Icemelter automates steps in debugging rustc internal compiler errors (ICEs)linkup :
Automatically add links to Markdown filesMarki :
Generate Anki cards from Markdown notesmdlynx :
Small, fast tool to find broken file links in Markdown documentsttlint : tiny text linter
fin-part-ord :
Crate for representing finite partial orderstree-sitter-edit :
A crate for printing modified tree-sitter parse trees, intended for use in
multi-language code refactoring, linting, or modification (codemod) toolstwjsrs :
Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format
anki-wikidata :
Create high-quality Anki cards with data from Wikidatacontract.el :
Racket-style higher-order contracts for Emacs Lispcoq-big-o :
A formalization of Big O, Big Theta, and more based on normed vector spacesnixpkgs-blight :
Instrument the builds of tens of thousands of open-source packagesSpacelix :
Spacemacs-like configuration for Helixsql-cli :
Dynamically generate CLIs from SQL databases that support CRUD operationswrite-yourself-a-scheme-in-agda :
Like “Write Yourself a Scheme in 48 Hours”, but in Agdazsh-contextual-abbrevs :
Supercharged context-dependent aliases for ZSH that save you keystrokes!