Concordium Blockchain Research Center Aarhus (@AU-COBRA)
Guthub

AU-COBRA

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    131
  • Global Org. Rank 50,618 (Top 17 %)
  • Registered about 5 years ago
  • Most used languages
    Coq     77.8 %
    Rust
         22.2 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 736
  • Country Ranking
    Coq     1
    Rust
         154

Top 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

typed-extraction

Verified coq extraction
Coq
2
star
6

concordium-extracted-contracts

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

coq-elm-extraction

Coq plugin for extracting Elm code
Coq
2
star
8

extraction-results

A repository containing code extracted using ConCert
Rust
1
star
9

OVN

Verified implementation of the Open Vote Network protocol
Coq
1
star