AU-COBRA/typed-extraction AU-COBRA/typed-extraction

  • This repository has been archived on 26/Mar/2023
  • Stars
    star
    2
  • Language Coq
  • License
    MIT License
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AU-COBRA/typed-extraction
github

AU-COBRA

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Verified coq extraction

More Repositories

1

ConCert

A framework for smart contract verification in Coq
Coq
112
star
2

PoS-NSB

A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
Coq
20
star
3

AUCurves

Synthesis of Formally Verified Cryptographic Primitives
Coq
7
star
4

coq-rust-extraction

Coq plugin for extracting Rust code
Coq
4
star
5

concordium-extracted-contracts

Rust contracts for the Concordium blockchain extracted from the Coq development in ConCert
Rust
2
star
6

coq-elm-extraction

Coq plugin for extracting Elm code
Coq
2
star
7

extraction-results

A repository containing code extracted using ConCert
Rust
1
star
8

OVN

Verified implementation of the Open Vote Network protocol
Coq
1
star