Alternatives and similar repositories for evmlite

Users that are interested in evmlite are comparing it to the libraries listed below

• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆75Updated 2 years ago
• Veridise / zk-language-comparison
  Examples of Mastermind implemented in different ZK languages and frameworks.
  ☆13Updated 2 months ago
• Zellic / move-prover-examples
  A gentle, example-based guide to getting started with the Move prover.
  ☆50Updated 2 years ago
• axic / solc-rust
  Rust bindings for the Solidity compiler.
  ☆27Updated 5 years ago
• fe-lang / sonatina
  ☆50Updated 2 weeks ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆89Updated this week
• danhper / eclair
  A Solidity interpreter
  ☆66Updated last week
• ApeWorX / archive-ape-starknet
  StarkNet ecosystem plugin for the Ape Framework
  ☆19Updated last year
• ethereum / yul-isabelle
  ☆41Updated 2 years ago
• crytic / echidna-parade
  ☆29Updated last year
• chainbound / consentry
  A standalone consensus networking service for listening to events
  ☆54Updated last year
• NilFoundation / proof-market-toolchain
  A toolchain for interaction with the Proof Market protocol.
  ☆23Updated last year
• jsign / zig-poseidon
  A Zig implementation of Poseidon2 hash function.
  ☆11Updated 2 months ago
• z80dev / dasy
  a lisp built on top of vyper
  ☆43Updated 9 months ago
• noir-lang / acvm
  ☆47Updated last year
• unbalancedparentheses / cryptography_in_rust_for_hackers
  Cryptography In Rust For Hackers
  ☆21Updated last year
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆41Updated last year
• vezenovm / mastermind-noir
  ☆32Updated 2 years ago
• crypdoughdoteth / Vyper-Multisig
  Multisig using Vyper, WIP
  ☆10Updated last year
• jat9292 / fuzzing-like-a-smarter-degen
  Improved Barebones Solidity smart contract fuzzer
  ☆10Updated 2 years ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• avnu-labs / semgrep-cairo-rules
  Semgrep rules for Cairo 1.0
  ☆17Updated last year
• refcell / awesome-sway
  Curated Resources for Sway Development and Learning
  ☆21Updated 3 years ago
• Philogy / evm-glue
  ☆81Updated 4 months ago
• warlock-labs / sylow
  Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve
  ☆45Updated 2 months ago
• hknio / wasmcov
  Automated coverage analysis of WASM executables on embedded and other constrained environments
  ☆30Updated 9 months ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• recmo / yul
  ☆102Updated 2 years ago
• NTA-Capital / SolMATe
  Solidity Matrix Environment (SolMATe) - Core math + linear algebra libraries for Ethereum smart contracts. Enables machine learning direc…
  ☆33Updated last year
• PreventFlashLoanAttacks / Prevent-Flash-Loan-Attacks
  We are dedicated to stopping flash loan and oracle manipulation attacks. Please consider contributing if you have additional information.…
  ☆20Updated 4 years ago