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.7k 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 949 541

  4. hevm hevm Public

    Symbolic and concrete EVM execution engine

    Haskell 356 79

  5. act act Public

    Smart contract specification language

    Haskell 279 51

  6. solcore solcore Public

    experimental solidity compiler

    Haskell 112 9

Repositories

Showing 10 of 24 repositories
  • solidity-website Public
    argotorg/solidity-website's past year of commit activity
    JavaScript 30 28 7 7 Updated Sep 10, 2026
  • solidity Public

    Solidity, the Smart Contract Programming Language

    argotorg/solidity's past year of commit activity
    C++ 25,732 GPL-3.0 6,157 674 (1 issue needs help) 150 Updated Sep 10, 2026
  • solc-js Public

    Javascript bindings for the Solidity compiler

    argotorg/solc-js's past year of commit activity
    TypeScript 1,508 MIT 349 57 (17 issues need help) 19 Updated Sep 10, 2026
  • sourcify Public

    Source code verification service for Ethereum smart contracts

    argotorg/sourcify's past year of commit activity
    TypeScript 949 MIT 541 97 (3 issues need help) 8 Updated Sep 10, 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 263 0 6 Updated Sep 10, 2026
  • hevm Public

    Symbolic and concrete EVM execution engine

    argotorg/hevm's past year of commit activity
    Haskell 356 AGPL-3.0 79 51 10 Updated Sep 9, 2026
  • EquiVM Public

    Refinement proofs in Lean for EVM bytecode

    argotorg/EquiVM's past year of commit activity
    Lean 19 MIT 1 0 1 Updated Sep 9, 2026
  • solcore-rs Public
    argotorg/solcore-rs's past year of commit activity
    Rust 2 Apache-2.0 4 0 1 Updated Sep 9, 2026
  • fe Public

    Emerging smart contract language for the Ethereum blockchain.

    argotorg/fe's past year of commit activity
    Rust 1,731 Apache-2.0 217 114 (3 issues need help) 28 Updated Sep 9, 2026
  • solcore Public

    experimental solidity compiler

    argotorg/solcore's past year of commit activity
    Haskell 112 9 30 22 Updated Sep 9, 2026
View all repositories