A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Source code for the Uno Gallery apps and Uno Playground (made in Wasm)
- uno
- uno-platform
- webassembly
- wasm
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
Unified UI Testing Framework for Uno Platform based applications