Alternatives and similar repositories for tutorials-code

Users that are interested in tutorials-code are comparing it to the libraries listed below

• euler-xyz / euler-swap
  EulerSwap is an automated market maker (AMM) that integrates with EVK vaults and the EVC to provide deeper liquidity for swaps.
  ☆47Updated this week
• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆51Updated last year
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆42Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 7 months ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆70Updated last year
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆56Updated last week
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆52Updated 2 months ago
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆20Updated 6 months ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• RareSkills / noir-puzzles
  ☆60Updated 2 years ago
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• roycoprotocol / royco
  The Incentivized Action Market (IAM) Protocol.
  ☆72Updated 5 months ago
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆85Updated last month
• a16z / halmos-cheatcodes
  ☆69Updated 4 months ago
• crytic / roundme
  ☆94Updated last year
• panoptic-labs / panoptic-v1-core
  Core Smart Contracts of Panoptic V1 — the DeFi options Protocol
  ☆74Updated 2 weeks ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated 2 years ago
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆19Updated 2 years ago
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated this week
• code-423n4 / 2024-04-dyad
  ☆10Updated last year
• runtimeverification / kontrol
  ☆81Updated last week
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• 0xkarmacoma / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆62Updated 3 weeks ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• Egis-Security / CTF_Challenge
  Repository containing CTF challenges from nmirchev8, deth and bOgO.
  ☆15Updated last year
• ustas-eth / zkEVM-Bootcamp
  My homework and notes on zkEVM Bootcamp by zkSync and Encode Club
  ☆66Updated 9 months ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year