Formal Specification
3 projects
Showing 3 of 3 projects
F# RISC-V Instruction Set formal specificationF#
A formal and executable RISC-V ISA specification written in F# with a purely functional style, designed for clarity and reference.
#functional-programming#library#simulator
Stars290
Forks14
Last commit
DIPsD
A repository for formal proposals to improve the D programming language and its official tooling.
#programming-language#d-language#open-governance
Stars163
Forks96
Last commit17 days ago
Z-EditorTypeScript
An online editor for creating, editing, and printing formal Z-notation documents using Prosemirror and React.
#z-notation#formal#methods
Stars154
Forks43
Last commit1 year 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.