8 projects
grammar-to-regex
Conversion of a (sub) grammar to (approximated) regular expressions.
grammar-graph
Graphs from Context-Free Grammars.
isla-solver
The ISLa Input Specification Language and its solver.
neo-grammar-graph
Graphs from Context-Free Grammars.
proxyorderedset
A simple implementation of ordered sets as a proxy to Python's standard dict class.
wise-se
A Python re-implementation of the proven-correct symbolic executor WiSE
islearn
ISLearn (Learning ISLa input invariants)
derivationtree
An efficient derivation tree implementation for grammar fuzzing and other applications.