Skip to content
Change the repository type filter

All

    Repositories list

    • A Powerful AST Parser for Solidity
      Solidity
      11120Updated May 29, 2025May 29, 2025
    • tevm

      Public
      TinyEVM v2
      Rust
      0000Updated May 6, 2025May 6, 2025
    • CuEVM

      Public
      Cuda implementation of EVM bytecode executor
      Cuda
      MIT License
      1410850Updated Dec 26, 2024Dec 26, 2024
    • CGBN

      Public
      CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups
      Cuda
      Other
      60100Updated Nov 27, 2024Nov 27, 2024
    • Dockerfile
      0000Updated Nov 19, 2024Nov 19, 2024
    • MECAnywhere frontend for desktop
      TypeScript
      MIT License
      1100Updated Sep 6, 2024Sep 6, 2024
    • MECAnywhere services
      C++
      MIT License
      1120Updated Sep 6, 2024Sep 6, 2024
    • pymeca

      Public
      A python package for interacting with the MECAnywhere smart contracts.
      Python
      MIT License
      1100Updated Sep 6, 2024Sep 6, 2024
    • The contracts of MECAnywhere project with a ganache environment.
      Solidity
      MIT License
      1110Updated Sep 6, 2024Sep 6, 2024
    • CuCrypto

      Public
      Cuda implementation of cryptographic functions
      Cuda
      MIT License
      3100Updated Sep 5, 2024Sep 5, 2024
    • Go
      0000Updated May 23, 2024May 23, 2024
    • The Qiskit provider for pQCee blockchain quantum simulator
      Python
      MIT License
      0100Updated May 23, 2024May 23, 2024
    • IBC Relayer for heterogeneous blockchains
      Apache License 2.0
      11000Updated Oct 1, 2023Oct 1, 2023
    • solidity

      Public
      Solidity, the Smart Contract Programming Language
      C++
      GNU General Public License v3.0
      6.1k000Updated Jul 13, 2023Jul 13, 2023
    • Repository of benchmarks to evaluate Solidity Smart contract analysis tools
      Solidity
      Other
      25100Updated May 11, 2023May 11, 2023
    • Smartian

      Public
      Enhancing Smart Contract Fuzzing with Static and Dynamic Analyses
      F#
      MIT License
      24000Updated Mar 30, 2023Mar 30, 2023
    • A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
      Solidity
      27000Updated Mar 27, 2023Mar 27, 2023
    • An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚
      Python
      39100Updated Mar 6, 2023Mar 6, 2023
    • smartbugs

      Public
      SmartBugs: A Framework to Analyze Ethereum Smart Contracts
      Python
      Apache License 2.0
      158000Updated Feb 16, 2023Feb 16, 2023
    • hevm

      Public
      symbolic EVM evaluator. https://hevm.dev
      Haskell
      GNU Affero General Public License v3.0
      62000Updated Feb 6, 2023Feb 6, 2023
    • rutil

      Public
      Rust
      1000Updated Jan 14, 2023Jan 14, 2023
    • Mimimal solidity flattener script
      Python
      MIT License
      1110Updated Nov 15, 2022Nov 15, 2022
    • ibc-go

      Public
      Interblockchain Communication Protocol (IBC) implementation in Golang.
      Go
      MIT License
      700000Updated Nov 8, 2022Nov 8, 2022
    • llvm-rust

      Public
      A customized Rust bindings for LLVM
      Rust
      2010Updated Oct 25, 2022Oct 25, 2022
    • JavaScript
      0010Updated Oct 18, 2022Oct 18, 2022
    • Sample for ICS-20 transfer between Hyperledger Fabric and Cosmos-based Blockchain
      Go
      Other
      6000Updated Sep 13, 2022Sep 13, 2022
    • solang

      Public
      Solidity Compiler for Solana, Substrate, and ewasm
      Rust
      Apache License 2.0
      245020Updated Sep 9, 2022Sep 9, 2022
    • A GitHub Action for downloading and installing SBIP-customized version of LLVM binaries.
      TypeScript
      Apache License 2.0
      58100Updated Sep 5, 2022Sep 5, 2022
    • The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
      14k110Updated Sep 5, 2022Sep 5, 2022
    • tokenswap

      Public
      Token atomic swap between Ethereum and corda
      JavaScript
      1250Updated Jun 24, 2022Jun 24, 2022