Ekubo extension that implements limit orders, i.e. positions that are immediately pulled when fully executed

Public ABIs for the Ekubo contracts

Autonomous agents for everyone

Rust SDK for interacting with Ekubo Protocol

Resources for Starknet MEV

Ethereum consensus client in Rust

Ethereum Solo Staker dataset

Verify Cairo contracts in Lean 4

Utility for generating SRC5 interfaces ids from Cairo traits

A rust library to interact with the Vyper compiler!

Making Isolated Lending Great (for once)

A high-performance, zero-overhead, extensible Python compiler using LLVM

🦀 Small exercises to get you used to reading and writing Rust code!

A local testnet for Starknet... in Rust

Static Analyzer for Solidity and Vyper

A symbolic testing tool for EVM smart contracts

Static Analyzer for Starknet smart contracts

A robust execution client for Ethereum node operators.

ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK

Spice up those exceptions with cowexcept!

Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts

Resources for Cairo 1.0 development.

An interactive tutorial to get you up and running with Cairo v1 and Starknet

Vyper examples of LZ-enabled Omnichain contracts

Kakarot zkEVM - rewrite in the latest version of Cairo

Vyper compiler for ZKsync.