magmide repositories

2 repositories

magmide
Public
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
dependent-types coq logic
dependent-types coq logic verification formal-methods type-safety formal-verification systems-programming
Rocq Prover
•1515 forks•835835 stars•00 issues•00 pull requests•Updated May 14, 2026May 14, 2026
purpose-talk
Public
TypeScript
•11 fork•11 star•00 issues•00 pull requests•Updated Jun 2, 2022Jun 2, 2022

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.