GitHub / magmide / magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/magmide%2Fmagmide
PURL: pkg:github/magmide/magmide
Stars: 823
Forks: 13
Open issues: 0
License: None
Language: Coq
Size: 38.5 MB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: 4 months ago
Pushed at: over 1 year ago
Last synced at: 2 months ago
Topics: coq, dependent-types, formal-methods, formal-verification, logic, systems-programming, type-safety, verification
Funding Links https://github.com/sponsors/blainehansen