Skip to content
@argotorg

Argot Collective

Building the critical infrastructure for Ethereum applications.

Pinned Loading

  1. solidity solidity Public

    Solidity, the Smart Contract Programming Language

    C++ 25.8k 6.2k

  2. fe fe Public

    Emerging smart contract language for the Ethereum blockchain.

    Rust 1.7k 217

  3. sourcify sourcify Public

    Source code verification service for Ethereum smart contracts

    TypeScript 956 545

  4. hevm hevm Public

    Symbolic and concrete EVM execution engine

    Haskell 359 79

  5. act act Public

    Smart contract specification language

    Haskell 283 52

  6. solcore solcore Public

    experimental solidity compiler

    Haskell 113 11

Repositories

Showing 10 of 26 repositories
  • solidity Public

    Solidity, the Smart Contract Programming Language

    argotorg/solidity's past year of commit activity
    C++ 25,754 GPL-3.0 6,175 685 (1 issue needs help) 160 Updated Oct 20, 2026
  • fe Public

    Emerging smart contract language for the Ethereum blockchain.

    argotorg/fe's past year of commit activity
    Rust 1,736 Apache-2.0 217 100 (3 issues need help) 45 Updated Oct 20, 2026
  • sourcify Public

    Source code verification service for Ethereum smart contracts

    argotorg/sourcify's past year of commit activity
    TypeScript 956 MIT 545 93 7 Updated Oct 20, 2026
  • solcore-lean Public
    argotorg/solcore-lean's past year of commit activity
    Lean 2 0 0 0 Updated Oct 20, 2026
  • solc-bin Public

    This repository contains current and historical builds of the Solidity Compiler.

    argotorg/solc-bin's past year of commit activity
    JavaScript 433 GPL-3.0 264 0 6 Updated Oct 20, 2026
  • hevm Public

    Symbolic and concrete EVM execution engine

    argotorg/hevm's past year of commit activity
    Haskell 359 AGPL-3.0 79 90 10 Updated Oct 19, 2026
  • codeql-solidity Public Forked from lucasamorimca/codeql-solidity

    CodeQL extractor and queries for Solidity smart contract security analysis

    argotorg/codeql-solidity's past year of commit activity
    CodeQL 3 Apache-2.0 2 0 0 Updated Oct 19, 2026
  • argot.org Public

    Website for the Argot Collective

    argotorg/argot.org's past year of commit activity
    TypeScript 5 MIT 2 1 1 Updated Oct 19, 2026
  • solcore Public

    experimental solidity compiler

    argotorg/solcore's past year of commit activity
    Haskell 113 11 55 33 Updated Oct 19, 2026
  • EquiVM Public

    Refinement proofs in Lean for EVM bytecode

    argotorg/EquiVM's past year of commit activity
    Lean 25 MIT 5 0 1 Updated Oct 19, 2026
View all repositories