spapinistarkware

Pinned Repositories

kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Language:Cairo903 23 467252
marshmallow_dataclass
Automatic generation of marshmallow schemas from dataclasses.
Language:Python441 14 15877
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Language:Rust2k 35 180139
cairo-contract-syntax-migrator
00
cairo-leet
Language:Cairo00
go-ethereum
Official Go implementation of the Ethereum protocol
Language:Go01
kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
Language:Cairo00
marshmallow_dataclass
Automatic generation of marshmallow schemas from dataclasses.
Language:Python00
mathlib
Lean mathematical components library
Language:Lean00
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
Language:Rust1.5k 17 464447

spapinistarkware's Repositories

spapinistarkware/cairo-contract-syntax-migrator
00
spapinistarkware/cairo-leet
Language:Cairo00
spapinistarkware/go-ethereum
Official Go implementation of the Ethereum protocol
Language:Go01
spapinistarkware/kakarot
ZK-EVM type 3 written in Cairo, leveraging STARK proof system.
Language:Cairo00
spapinistarkware/marshmallow_dataclass
Automatic generation of marshmallow schemas from dataclasses.
Language:Python00
spapinistarkware/mathlib
Lean mathematical components library
Language:Lean00