Formal Specification
Showing 6 of 6 projects
A formal and executable RISC-V ISA specification written in F# with a purely functional style, designed for clarity and reference.
A repository for formal proposals to improve the D programming language and its official tooling.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
An online editor for creating, editing, and printing formal Z-notation documents using Prosemirror and React.
A toolset for formal specification and generation of verifiable binary parsers, message generators, and protocol state machines.
A domain-specific language for specifying Algorand smart contracts, compiling to TEAL with declarative syntax and static checks.
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.