alexcere
Assistant Professor in CS at Complutense University of Madrid. Working with @costa-group on tools for analysis and optimization of Ethereum smart contracts
Complutense University of MadridMadrid, Spain
alexcere's Stars
ManimCommunity/manim
A community-maintained Python framework for creating mathematical animations.
matiassingers/awesome-readme
A curated list of awesome READMEs
dabeaz-course/python-mastery
Advanced Python Mastery (course by @dabeaz)
Z3Prover/z3
The Z3 Theorem Prover
WebAssembly/binaryen
Optimizer and compiler/toolchain library for WebAssembly
google/latexify_py
A library to generate LaTeX expression from Python code.
blockchain-etl/ethereum-etl
Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions. Data is available in Google BigQuery https://goo.gl/oY5BCQ
wasmerio/wasmer-python
🐍🕸 WebAssembly runtime for Python
iden3/circom
zkSnark circuit compiler
msoos/cryptominisat
An advanced SAT solver
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
corpetty/py-etherscan-api
Python bindings to the Etherscan.io API
pcko1/etherscan-python
A minimal, yet complete, python API for Etherscan.io.
pysathq/pysat
A toolkit for SAT-based prototyping in Python
Consensys/evm-dafny
An EVM interpreter in Dafny
crytic/evm_cfg_builder
EVM CFG recovery
costa-group/gasol-optimizer
NethermindEth/Clear
Interactive formal verification tool for Yul programs
imapp-pl/gas-cost-estimator
NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
costa-group/EthIR
A framework for high-level Analysis of Ethereum Bytecode
mariaschett/syrup-backend
backend of syrup: SYnthesizeR of sUPer-optimized smart contracts
costa-group/forves
Galieve/Geometria-Computacional
gutierrpdev/computational_algebra