Skip to content
@costa-group

The Costa Group

Pinned Loading

  1. gasol-optimizer gasol-optimizer Public

    Python 107 9

  2. forves forves Public

    Coq 9 1

  3. EthIR EthIR Public

    A framework for high-level Analysis of Ethereum Bytecode

    Python 14 2

Repositories

Showing 10 of 24 repositories
  • grey Public
    costa-group/grey’s past year of commit activity
    Python 0 GPL-3.0 0 1 0 Updated Sep 26, 2024
  • circomlib_2.1 Public Forked from iden3/circomlib

    Library of basic circuits for circom

    costa-group/circomlib_2.1’s past year of commit activity
    Circom 0 213 0 0 Updated Sep 25, 2024
  • anybody-problem Public Forked from trifle-labs/anybody-problem

    Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.

    costa-group/anybody-problem’s past year of commit activity
    JavaScript 0 4 0 0 Updated Sep 19, 2024
  • forves2 Public

    FORVES 2.0: FORmally VErified EVM optimizationS -- leveraging FORVES to inter-block optimizations

    costa-group/forves2’s past year of commit activity
    Coq 1 AGPL-3.0 0 0 0 Updated Aug 30, 2024
  • green Public
    costa-group/green’s past year of commit activity
    Solidity 2 GPL-3.0 0 0 0 Updated Jul 26, 2024
  • EthIR Public

    A framework for high-level Analysis of Ethereum Bytecode

    costa-group/EthIR’s past year of commit activity
    Python 14 GPL-3.0 2 0 0 Updated Jul 26, 2024
  • gasol-optimizer Public
    costa-group/gasol-optimizer’s past year of commit activity
    Python 107 GPL-3.0 9 5 0 Updated Jul 25, 2024
  • forves Public
    costa-group/forves’s past year of commit activity
    Coq 9 GPL-3.0 1 0 0 Updated Jul 9, 2024
  • termination_coq Public

    TFG of Pablo about formalising termination proofs in Coq

    costa-group/termination_coq’s past year of commit activity
    Coq 0 GPL-3.0 0 0 0 Updated Jun 20, 2024
  • gasol_ml Public

    Using machine learning in the context of GASOL

    costa-group/gasol_ml’s past year of commit activity
    Python 2 GPL-3.0 0 0 0 Updated Apr 15, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…