Skip to content

Navigation Menu

Sign in
Appearance settings
argotorg

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@argotorg

Argot Collective

Building the critical infrastructure for Ethereum applications.

Pinned Loading

  1. solidity solidity Public

    Solidity, the Smart Contract Programming Language

    C++ 25.5k 6.3k

  2. fe fe Public

    Emerging smart contract language for the Ethereum blockchain.

    Rust 1.7k 210

  3. sourcify sourcify Public

    Source code verification service for Ethereum smart contracts

    TypeScript 889 501

  4. hevm hevm Public

    Symbolic and concrete EVM execution engine

    Haskell 321 71

  5. act act Public

    Smart contract specification language

    Haskell 256 45

  6. solcore solcore Public

    experimental solidity compiler

    Haskell 93 6

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 19 repositories
View all repositories
Morty Proxy This is a proxified and sanitized view of the page, visit original site.