Q*cert
Apache-2.0Coqv2.2.0
A framework for developing and verifying domain-specific languages, with a focus on query, rules, and smart contract languages.
59 stars10 forks0 contributors
Overview
Compilation and Verification of Data-Centric Languages
Related Projects
VerdiA framework for formally verifying distributed systems implementations in Coq
Stars624
Forks58
Last commit4 months ago
FiatMostly Automated Synthesis of Correct-by-Construction Programs
Stars159
Forks35
Last commit1 month ago
ConCertA framework for smart contract verification in Coq
Stars126
Forks23
Last commit1 month ago
Hoare Type TheoryHoare Type Theory
Stars86
Forks6
Last commit2 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.