crytic/tayt external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

crytic/tayt

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/crytic/tayt)

Close

crytic / taytView on GitHubMore

• External links
• Readme badge

StarkNet smart contract fuzzer

☆81Jul 8, 2022Updated 3 years ago

Alternatives and similar repositories for tayt

Users that are interested in tayt are comparing it to the libraries listed below

• crytic / amarna

  View on GitHub
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Feb 14, 2025Updated last year
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• PaulRBerg / check-same-sign

  View on GitHub
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆46Jul 17, 2022Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• chyanju / __archived__Medjai

  View on GitHub
  A Symbolic Execution Tool for Cairo
  ☆15Jul 25, 2022Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template

  View on GitHub
  ⛳ Template for Forge + EVM Toolkit
  ☆54Jun 3, 2022Updated 3 years ago
• Mikerah / solidity-bugs-and-vulns-in-yul

  View on GitHub
  ☆91Feb 15, 2021Updated 5 years ago
• marktoda / paradigm-ctf

  View on GitHub
  My notes and code from the Paradigm CTF
  ☆42Aug 22, 2022Updated 3 years ago
• jwasinger / eth-selfdestruct-analysis

  View on GitHub
  ☆25Nov 8, 2022Updated 3 years ago
• JoranHonig / tree-sitter-cairo

  View on GitHub
  A tree-sitter-grammar for cairo 1.0
  ☆16Dec 14, 2022Updated 3 years ago
• 0xKitsune / Foundry-Huff

  View on GitHub
  A Foundry template to compile and test Huff contracts.
  ☆51Jun 21, 2022Updated 3 years ago
• Will-Smith11 / reconnaissance

  View on GitHub
  A proxy node example using Reth!
  ☆93Aug 12, 2023Updated 2 years ago
• PraneshASP / huff-goo-issuance

  View on GitHub
  GOO(Gradual Ownership Optimization) issuance implementation using Huff
  ☆34Oct 1, 2022Updated 3 years ago
• refcell / protec

  View on GitHub
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Jul 22, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• sudoswap / audits

  View on GitHub
  Audits for sudoswap contracts
  ☆29Jul 21, 2022Updated 3 years ago
• Maddiaa0 / huff-vrgda

  View on GitHub
  Huff Implementation of VRGDAs
  ☆41Sep 12, 2022Updated 3 years ago
• hrkrshnn / gastest

  View on GitHub
  A repo to demonstrate how viaIR affects https://twitter.com/PatrickAlphaC/status/1503559512824897540
  ☆22Mar 18, 2022Updated 3 years ago
• noxx3xxon / evm-by-example

  View on GitHub
  ☆75Jun 28, 2022Updated 3 years ago
• Certora / FoundryIntegration

  View on GitHub
  Certora integration with the Forge testing framework of Foundry
  ☆21Jun 8, 2023Updated 2 years ago
• Chainstride-Capital / aegis

  View on GitHub
  Shield your initial Uniswap liquidity from malicious actors
  ☆16Nov 10, 2021Updated 4 years ago
• clabby / huff-clones

  View on GitHub
  clones-with-immutable-args by wighawag written in Huff.
  ☆28Sep 15, 2022Updated 3 years ago
• argotorg / yul-isabelle

  View on GitHub
  ☆41Nov 21, 2022Updated 3 years ago
• whitenois3 / mvrgda

  View on GitHub
  Variable Rate Gradual Dutch Auctions with Martingale Price Correction.
  ☆37Sep 9, 2022Updated 3 years ago
• 0xKitsune / evm-mnemonic

  View on GitHub
  A barebones framework for hand tuned smart contracts in pure opcodes.
  ☆48Aug 22, 2022Updated 3 years ago
• gio256 / erigon-db

  View on GitHub
  Fully typed access to the Erigon db in rust
  ☆104Aug 23, 2022Updated 3 years ago
• paradigmxyz / local_reth

  View on GitHub
  Run Reth+Prometheus+Grafana locally via docker-compose
  ☆70Jun 27, 2023Updated 2 years ago
• avnu-labs / semgrep-cairo-rules

  View on GitHub
  Semgrep rules for Cairo 1.0
  ☆18Aug 28, 2023Updated 2 years ago
• 0xkitetsu-dineshsm / Learning-EVM-using-Yul-Huff

  View on GitHub
  Gas Golfing using Huff and Yul
  ☆81Aug 1, 2022Updated 3 years ago
• crytic / optik

  View on GitHub
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆99Sep 3, 2024Updated last year
• 0xalpharush / fuzzing-like-a-degen

  View on GitHub
  Barebones Solidity smart contract fuzzer
  ☆96Jul 20, 2022Updated 3 years ago
• hrkrshnn / ethccgame

  View on GitHub
  ☆13Sep 17, 2022Updated 3 years ago
• 0xKitsune / magglob-rs

  View on GitHub
  Modular aggregated order book for CeFi exchanges
  ☆13May 25, 2023Updated 2 years ago
• exp-table / nplate

  View on GitHub
  A template for noir.
  ☆143Nov 24, 2023Updated 2 years ago
• refcell / cairopal

  View on GitHub
  Modern, Flexible Starknet Dapp Template
  ☆42Feb 9, 2022Updated 4 years ago
• whitenois3 / huff-snark-verifier

  View on GitHub
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Sep 4, 2022Updated 3 years ago
• banteg / storage-layout

  View on GitHub
  readable evm state diffs, enumerate full contract storage
  ☆137Aug 4, 2023Updated 2 years ago
• 0xtonysprocket / mammoth_pool

  View on GitHub
  Starknet pool to provide non-custodial liquidity to central limit order book market makers
  ☆25Jul 21, 2022Updated 3 years ago
• FuzzingLabs / thoth

  View on GitHub
  Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
  ☆271Apr 22, 2025Updated 10 months ago