Popular repositories Loading

1. go-ethereum go-ethereum Public

   Forked from ethereum/go-ethereum

   Official Go implementation of the Ethereum protocol

   Go 1

2. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

3. marshmallow_dataclass marshmallow_dataclass Public

   Forked from lovasoa/marshmallow_dataclass

   Automatic generation of marshmallow schemas from dataclasses.

   Python

4. kakarot kakarot Public

   Forked from kkrt-labs/kakarot

   ZK-EVM type 3 written in Cairo, leveraging STARK proof system.

   Cairo

5. cairo-contract-syntax-migrator cairo-contract-syntax-migrator Public

6. cairo-leet cairo-leet Public

   Cairo