The Ethereum Improvement Proposal repository

Open source software that helps you create and deploy high-frequency crypto trading bots

Pythonic Smart Contract Language for the EVM

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs

Main repository of SageMath

Decompiler at the heart of Eveem.org

K Semantics of the Ethereum Virtual Machine (EVM)

run HolyC on Linux secularly

A modified version of the SNX staking rewards contract, allowing for multiple reward tokens. Designed for use with Curve.fi liquidity gauges.

a lisp built on top of vyper

Rubicon Python SDK