Argot Collective

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 219

3. sourcify sourcify Public

   Source code verification service for Ethereum smart contracts

   TypeScript 961 551

4. hevm hevm Public

   Symbolic and concrete EVM execution engine

   Haskell 362 81

5. act act Public

   Smart contract specification language

   Haskell 283 52

6. solcore solcore Public

   experimental solidity compiler

   Haskell 115 11