GeezerVison is showing github.com — Argot Collective
Pinned
Loading
Solidity, the Smart Contract Programming Language
C++
25.8k
6.2k
Emerging smart contract language for the Ethereum blockchain.
Rust
1.7k
219
Source code verification service for Ethereum smart contracts
TypeScript
961
551
Symbolic and concrete EVM execution engine
Haskell
362
81
Smart contract specification language
Haskell
283
52
experimental solidity compiler
Haskell
115
11
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C++
CodeQL
CSS
Dockerfile
Haskell
HTML
Isabelle
JavaScript
Lean
Python
Rust
Solidity
TypeScript
Sort
Showing 10 of 28 repositories
solidity
Public
Solidity, the Smart Contract Programming Language
argotorg/solidity's past year of commit activity
shuffler.lean
Public
lean4 formaliztion of solc's plan based stack shuffler
argotorg/shuffler.lean's past year of commit activity
Lean
1
2
1
1
Updated Nov 12, 2026
sourcify
Public
Source code verification service for Ethereum smart contracts
argotorg/sourcify's past year of commit activity
TypeScript
961
MIT
551
88
5
Updated Nov 12, 2026
solcore
Public
experimental solidity compiler
argotorg/solcore's past year of commit activity
fe
Public
Emerging smart contract language for the Ethereum blockchain.
argotorg/fe's past year of commit activity
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
11
Updated Nov 12, 2026
argotorg/yul-semantics-zoo's past year of commit activity
Lean
0
0
0
0
Updated Nov 11, 2026
argotorg/solcore-rs's past year of commit activity
Rust
5
Apache-2.0
5
11
2
Updated Nov 11, 2026
argotorg/abi-model's past year of commit activity
Lean
0
0
0
3
Updated Nov 10, 2026
argotorg/solcore-lean's past year of commit activity
Lean
2
0
0
0
Updated Nov 10, 2026