Updated 5 months ago
https://github.com/accenture/bdd-for-all
Flexible and easy to use library to enable your behavorial driven development (BDD) teams to easily collaborate while promoting automation, transparency and reporting.
Updated 6 months ago
nbbdd
BDD for Jupyter Notebooks. Hackday project at SSI Collaborations Workshop 2020. #CollabW2020
Updated 5 months ago
https://github.com/aria-systems-group/sym_quant_reactive_synth
Symbolic Regret synthesis and graph search