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 218

  3. sourcify sourcify Public

    Source code verification service for Ethereum smart contracts

    TypeScript 958 548

  4. hevm hevm Public

    Symbolic and concrete EVM execution engine

    Haskell 361 80

  5. act act Public

    Smart contract specification language

    Haskell 284 53

  6. solcore solcore Public

    experimental solidity compiler

    Haskell 114 12

Repositories

Showing 10 of 27 repositories
  • hevm Public

    Symbolic and concrete EVM execution engine

    argotorg/hevm's past year of commit activity
    Haskell 361 AGPL-3.0 80 54 8 Updated Oct 25, 2026
  • solcore-lean Public
    argotorg/solcore-lean's past year of commit activity
    Lean 2 1 0 0 Updated Oct 25, 2026
  • fe Public

    Emerging smart contract language for the Ethereum blockchain.

    argotorg/fe's past year of commit activity
    Rust 1,737 Apache-2.0 218 101 (3 issues need help) 44 Updated Oct 25, 2026
  • solidity Public

    Solidity, the Smart Contract Programming Language

    argotorg/solidity's past year of commit activity
    C++ 25,761 GPL-3.0 6,177 688 (1 issue needs help) 152 Updated Oct 24, 2026
  • argot.org Public

    Website for the Argot Collective

    argotorg/argot.org's past year of commit activity
    TypeScript 5 MIT 3 1 6 Updated Oct 23, 2026
  • solcore-rs Public
    argotorg/solcore-rs's past year of commit activity
    Rust 3 Apache-2.0 5 8 2 Updated Oct 23, 2026
  • abi-model Public
    argotorg/abi-model's past year of commit activity
    Lean 0 0 0 0 Updated Oct 23, 2026
  • solcore Public

    experimental solidity compiler

    argotorg/solcore's past year of commit activity
    Haskell 114 12 54 36 Updated Oct 23, 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 23, 2026
  • solc-bench Public
    argotorg/solc-bench's past year of commit activity
    Python 1 GPL-3.0 3 3 1 Updated Oct 22, 2026
View all repositories