Skip to content
@AU-COBRA

Concordium Blockchain Research Center Aarhus

Popular repositories Loading

  1. ConCert ConCert Public

    A framework for smart contract verification in Coq

    Coq 118 21

  2. PoS-NSB PoS-NSB Public

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

    Coq 25 2

  3. coq-rust-extraction coq-rust-extraction Public

    Coq plugin for extracting Rust code

    Coq 10 3

  4. AUCurves AUCurves Public

    Synthesis of Formally Verified Cryptographic Primitives

    Coq 7 1

  5. typed-extraction typed-extraction Public archive

    Verified coq extraction

    Coq 3 2

  6. concordium-extracted-contracts concordium-extracted-contracts Public archive

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

    Rust 2

Repositories

Showing 10 of 11 repositories
  • lambda-box-extraction Public

    Verified compiler from LambdaBox to Wasm, C, and Rust

    Coq 2 MIT 1 0 0 Updated Mar 31, 2025
  • coq-rust-extraction Public

    Coq plugin for extracting Rust code

    Coq 10 MIT 3 8 0 Updated Mar 24, 2025
  • extraction-results Public

    A repository containing code extracted using ConCert

    Rust 1 MIT 0 0 0 Updated Mar 17, 2025
  • ConCert Public

    A framework for smart contract verification in Coq

    Coq 118 MIT 21 5 0 Updated Mar 17, 2025
  • coq-elm-extraction Public

    Coq plugin for extracting Elm code

    Coq 2 MIT 1 0 0 Updated Mar 17, 2025
  • OVN Public

    Verified implementation of the Open Vote Network protocol

    Coq 1 MIT 2 0 0 Updated Jan 14, 2025
  • AUCurves Public

    Synthesis of Formally Verified Cryptographic Primitives

    Coq 7 MIT 1 0 0 Updated Jul 26, 2023
  • typed-extraction Public archive

    Verified coq extraction

    Coq 3 MIT 2 0 0 Updated Mar 26, 2023
  • fiat-crypto Public Forked from mit-plv/fiat-crypto

    Cryptographic Primitive Code Generation by Fiat

    Coq 0 185 0 0 Updated Apr 24, 2022
  • concordium-extracted-contracts Public archive

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

    Rust 2 0 0 0 Updated Jun 30, 2021
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Coq Rust

Most used topics

Loading…