Alternatives and similar repositories for tutorials-code:

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

• 0xKitsune / sstan
  Solidity static analyzer
  ☆82Updated last year
• spearbit-audits / audit-template
  ☆35Updated last year
• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆48Updated last year
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated this week
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆78Updated last year
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆82Updated last year
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆19Updated last year
• spherex-xyz / reentrancy-guard-proxy
  A Proxy contract incorporating a Reentrancy Guard
  ☆28Updated last year
• curvance / Curvance-CantinaCompetition
  ☆25Updated 10 months ago
• beskay / gas-guide
  A comprehensive guide to teach you about gas optimization patterns.
  ☆26Updated last year
• karmacoma-eth / halmos-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆57Updated this week
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated last year
• kopy-kat / MinimalAccount
  The most gas optimized ERC-4337 account - written in Huff
  ☆42Updated last year
• clabby / echidna-vs-forge
  Testing echidna vs. forge fuzzing
  ☆75Updated 2 years ago
• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆38Updated 3 weeks ago
• kadenzipfel / uni-lbp
  A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract
  ☆55Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆50Updated 3 months ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆71Updated last year
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆66Updated 7 months ago
• ChmielewskiKamil / foundry2echidna
  CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.
  ☆14Updated last year
• rhinestonewtf / registry
  An Attestation Registry for securely using Smart Account Modules
  ☆40Updated last month
• yacademy / fellowship-audits
  ☆54Updated last year
• McCoady / ethernaut-foundry
  A customized foundry environment for solving challenges from the ethernaut ctf
  ☆29Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• limitbreakinc / PermitC
  ☆26Updated 7 months ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• Certora / CaptureTheSpec
  ☆21Updated 2 months ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated last year
• teddav / ethernaut-yul
  ☆38Updated last year