A playground for the Ethereum Vault Connector (EVC)

The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.

A smart contract system which allows smart contracts, including Gnosis Safes, to route their order flow through the CoW protocol with market orders.

Pre-built security properties for commonly forked DeFi protocols

ERC4626 Adapters of different kinds

Contracts for governance of Starknet protocols

Cairo finance utilities

StarkNet smart contract fuzzer

Abi parser for Cairo smart contracts, based on wagmi abitype

Helper smart contract to make easier and safer usage of the `CREATE2` EVM opcode.

Smart contracts for on-chain anonymous settlement.

Blazing fast toolkit for developing Starknet contracts.

Loot Survivor - onchain arcade

Cairo/Starknet smart contract fuzzer

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Utility for generating SRC5 interfaces ids from Cairo traits

Personal Cairo Katas

Template repository for writing Uniswap v4 Hooks

Minimal Ethereum delegatecall proxies

A ERC-20 token written in cairo-1.0

A cairo 1 contract allowing to securely resolve a starknetid domain, intended to be used in Ledger devices.

Web3 component library for React

Pre-built security properties for common Ethereum operations

Foundry Test Suit to test weird ERC20 behavior

Cairo 1.0 - Tree-Sitter