alexcere

alexcere's Stars

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python30.7k1811.6k2.1k

• matiassingers/awesome-readme

  A curated list of awesome READMEs

  18.8k213433.9k

• dabeaz-course/python-mastery

  Advanced Python Mastery (course by @dabeaz)

  Language:Python10.9k86361.8k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.8k1805.6k1.5k

• WebAssembly/binaryen

  Optimizer and compiler/toolchain library for WebAssembly

  Language:WebAssembly7.7k1721.5k761

• google/latexify_py

  A library to generate LaTeX expression from Python code.

  Language:Python7.4k5685393

• 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

  Language:Python3k90249866

• wasmerio/wasmer-python

  🐍🕸 WebAssembly runtime for Python

  Language:Rust2.1k2511481

• iden3/circom

  zkSnark circuit compiler

  Language:WebAssembly1.4k21158301

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++83928624191

• pysmt/pysmt

  pySMT: A library for SMT formulae manipulation and solving

  Language:Python58417316134

• corpetty/py-etherscan-api

  Python bindings to the Etherscan.io API

  Language:Python5143549249

• pcko1/etherscan-python

  A minimal, yet complete, python API for Etherscan.io.

  Language:Python4131529114

• pysathq/pysat

  A toolkit for SAT-based prototyping in Python

  Language:Python4132014573

• Consensys/evm-dafny

  An EVM interpreter in Dafny

  Language:Dafny12743779

• crytic/evm_cfg_builder

  EVM CFG recovery

  Language:Python121121930

• costa-group/gasol-optimizer

  Language:Python1085359

• NethermindEth/Clear

  Interactive formal verification tool for Yul programs

  Language:Lean61407

• imapp-pl/gas-cost-estimator

  Language:Python5381084

• NethermindEth/EVMYulLean

  Executable formal model of the EVM and Yul in Lean 4.

  Language:Lean503115

• costa-group/EthIR

  A framework for high-level Analysis of Ethereum Bytecode

  Language:Python19432

• mariaschett/syrup-backend

  backend of syrup: SYnthesizeR of sUPer-optimized smart contracts

  Language:OCaml14507

• costa-group/forves

  Language:Coq11301

• Galieve/Geometria-Computacional

  Language:Python120

• gutierrpdev/computational_algebra

  Language:Python1201