Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by AU-COBRA

A curated list of projects in awesome lists by AU-COBRA .

https://github.com/au-cobra/concert

A framework for smart contract verification in Coq

blockchain coq smart-contracts verification

Last synced: 10 Oct 2024

https://github.com/AU-COBRA/ConCert

A framework for smart contract verification in Coq

blockchain coq smart-contracts verification

Last synced: 04 Aug 2024

https://github.com/au-cobra/coq-rust-extraction

Coq plugin for extracting Rust code

coq extraction rust

Last synced: 10 Oct 2024

https://github.com/au-cobra/typed-extraction

Verified coq extraction

coq verification

Last synced: 27 Sep 2024

https://github.com/au-cobra/coq-elm-extraction

Coq plugin for extracting Elm code

coq elm extraction

Last synced: 10 Oct 2024