Showing 3 of 3 projects
Official Cucumber BDD framework for Go, enabling executable specifications using Gherkin scenarios.
An executable specification language with delightful tooling based on the Temporal Logic of Actions (TLA+)
A domain-specific language for specifying, implementing, and verifying cryptographic algorithms with executable formal specifications.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.