Programming language for literate programming law specification

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Developer Wallet & DevTools for Anvil

💮 amazing QRCode generator in Python (supporting animated gif) - Python amazing 二维码生成器（支持 gif 动态图片二维码）

Analysis & simulation repo for Delv

build merkle trees on-chain

Scroll NFT and Multisig deployment Demo

Protocol for orderflow auctions

Mobile SDK for StarkNet ✨

Dojo is a toolchain for building provable games and autonomous worlds with Cairo

Multi-signature functionality for StarkNet

StarkNet library to verify Merkle tree nodes

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

HTTP Library for Solidity based on curl

To learn common smart contract vulnerabilities using Foundry!

Reproduce DeFi hacked incidents using Foundry.

Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.

Fast loadbalancing and caching proxy for Ethereum or chains with similar JSON-RPC methods

A rusty sdk for Algorand.

A permanent archival storage service for Polkadot and Kusama. Powered by the Subspace Network.

A minimalistic contract to execute a payload and make the code size of the msg.sender appear to be 0.

A free book about developing secure and robust systems software.

EIP 4626 in Cairo lang for Starknet