The Costa Group (@costa-group)
Guthub

costa-group

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    171
  • Global Org. Rank 43,956 (Top 14 %)
  • Registered over 8 years ago
  • Most used languages
    Coq     25.0 %
    HTML
         25.0 %
    Python
         25.0 %
    Circom     12.5 %
    Solidity
         12.5 %
  • Location 🇪🇸 Spain
  • Country Total Rank 1,774
  • Country Ranking
    Circom     1
    Coq     4
    Solidity
         40
    HTML
         189
    Python
         363

Top repositories

1

gasol-optimizer

Python
108
star
2

EthIR

A framework for high-level Analysis of Ethereum Bytecode
HTML
30
star
3

forves

Coq
9
star
4

syrup-python

2
star
5

ProgCrypto2023

Circom
2
star
6

green

Solidity
2
star
7

gasol_ml

Using machine learning in the context of GASOL
Python
2
star
8

iRankFinder

iRankFinder: examples database, website, comparative tables... Source -> http://github.com/jesusjda/pyRankFinder
HTML
1
star
9

forves2

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