Linking pages
- GitHub - kadena-io/juno: Smart Contracts Running on a BFT Hardened Raft https://github.com/buckie/juno 43 comments
- GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
- GitHub - kadena-io/juno: Smart Contracts Running on a BFT Hardened Raft https://github.com/kadena-io/juno 0 comments
- On Frameworks for Implementing Distributed Protocols | Replica_IO https://replica-io.dev/blog/2024/08/27/on-frameworks-for-implementing-distributed-protocols 0 comments
Linked pages
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Verdi: Formally Verifying Distributed Systems http://verdi.uwplse.org/ 32 comments
- Get Up and Running With OCaml · OCaml Tutorials https://ocaml.org/docs/install.html#Ubuntu-Ubuntu-20-04 15 comments
- opam - Install https://opam.ocaml.org/doc/Install.html 2 comments
- GitHub - uwplse/cheerios: Formally verified Coq serialization library with support for extraction to OCaml https://github.com/uwplse/cheerios 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - uwplse/verdi: A framework for formally verifying distributed systems implementations in Coq
See how to search.