There are 3 repositories under secure-design topic.
How to systematically secure anything: a repository about security engineering
A Java library for parsing and programmatically using threat models
Vavr workshops.
"Practices for the development of secure software" is a project focused on implementing secure software development practices.
Vavr Validation workshop.