Dominic Steinhöfel's repositories
grammar2regex
Conversion / approximation of context-free grammars to regular expressions (custom ADT types or z3 ReRefs)
ProofRenderer
Transforms proof trees written in a Lisp-like syntax to bussproof LaTeX trees.
GrammarGraph
Creation of Graphs from Context-Free Grammars
isla-bash-fuzzer
A Language-aware, Coverage-based Evolutionary Fuzzer Bash Script Based on ISLa
ANTLR-BFG-Converter
Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.
chex_latex
LaTeX file checking tools
NeoGrammarGraph
Performant Graph Operations on Context-Free Grammars
se-book-festschrift-rh
Symbolic Execution: Foundations, Techniques, Applications and Future Perspectives
proxyorderedset
A simple implementation of ordered sets as a proxy to Python's standard dict class.
BibLatex-Check
A python script for checking BibLatex .bib files for common referencing mistakes!
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
debuggingbook
Project page for "The Debugging Book"
derivationtree
An efficient derivation tree implementation for grammar fuzzing and other applications.
fuzzingbook
Project page for "The Fuzzing Book"
grammarinator
ANTLR v4 grammar-based test generator
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ICMPFuzzer
A simple ISLa-based fuzzer for fuzzing the `ping` utility.
pytest-forked
extracted --boxed from pytest-xdist to ensure backward compat
pytest-html
Plugin for generating HTML reports for pytest results
setuptools-antlr
A setuptools command for generating ANTLR based parsers
vim-pt
VIM support for proof tree definition files
z3
The Z3 Theorem Prover