Skip to content
@contract-ace

contract-ace

Popular repositories Loading

  1. smartace smartace Public

    C++ 14 3

  2. verify-openzeppelin verify-openzeppelin Public

    Solidity 8

  3. contract-ace.github.io contract-ace.github.io Public

    Website

  4. smartace-2020-experiments smartace-2020-experiments Public

    C

  5. smartace-2021-experiments smartace-2021-experiments Public

    Artifacts for "Smart Contract Analysis Through Communication Abstractions" (thesis).

    C

Repositories

Showing 5 of 5 repositories
  • verify-openzeppelin Public
    contract-ace/verify-openzeppelin’s past year of commit activity
    Solidity 8 0 1 0 Updated May 9, 2022
  • smartace Public
    contract-ace/smartace’s past year of commit activity
    C++ 14 GPL-3.0 3 0 0 Updated Jan 13, 2022
  • smartace-2021-experiments Public

    Artifacts for "Smart Contract Analysis Through Communication Abstractions" (thesis).

    contract-ace/smartace-2021-experiments’s past year of commit activity
    C 0 0 0 0 Updated Aug 3, 2021
  • smartace-2020-experiments Public
    contract-ace/smartace-2020-experiments’s past year of commit activity
    C 0 0 0 0 Updated Apr 22, 2021
  • contract-ace.github.io Public

    Website

    contract-ace/contract-ace.github.io’s past year of commit activity
    0 0 0 0 Updated Nov 11, 2020

People

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

Top languages

Loading…

Most used topics

Loading…