Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
☆272Apr 22, 2025Updated last year
Alternatives and similar repositories for thoth
Users that are interested in thoth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cairo/Starknet smart contract fuzzer☆130Apr 22, 2025Updated last year
- Foundry like framework for starknet contracts☆76Mar 9, 2023Updated 3 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆146Feb 14, 2025Updated last year
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 4 years ago
- Protostar is a toolchain for developing and testing Starknet contracts☆247Jul 19, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Static Analyzer for Starknet smart contracts☆148Jan 25, 2024Updated 2 years ago
- Complete Starknet library in Rust™☆312Nov 9, 2025Updated 11 months ago
- StarkNet smart contract fuzzer☆80Jul 8, 2022Updated 4 years ago
- Shenlong is a blazingly fast ⚡ tool to generate LLVM IR from Cairo, written in Rust 🦀☆67Mar 24, 2023Updated 3 years ago
- ☆18Nov 1, 2023Updated 2 years ago
- A collection of fun things you can do in Cairo. Pass storage variable as parameters, do functional programming with fold_left or manipula…☆27Sep 15, 2022Updated 4 years ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- A minimal template for building smart contracts with Cairo 1.0☆87Jun 1, 2023Updated 3 years ago
- Multi-signature functionality for StarkNet☆91Apr 29, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Write up of the StarknetCC-Lisbon-CTF☆20Nov 7, 2022Updated 3 years ago
- A COMPREHENSIVE, ANNOTATED LIST OF REPOSITORIES OF THE STARKNET ECOSYSTEM☆290Oct 12, 2022Updated 4 years ago
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- Horus, a formal verification tool for StarkNet smart contracts.☆75Jun 20, 2025Updated last year
- Papyrus is a StarkNet full node written in Rust.☆322Dec 26, 2024Updated last year
- Blog☆23Jun 12, 2026Updated 4 months ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- ☆99Jun 14, 2022Updated 4 years ago
- A Rust implementation of Starknet execution logic☆168Jul 22, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The Cairo package manager☆223Updated this week
- Cairo hooks for pre-commit☆17May 21, 2022Updated 4 years ago
- Generate the interfaces for your Cairo contracts☆32Oct 29, 2022Updated 4 years ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆264Mar 5, 2026Updated 7 months ago
- ☆18Sep 20, 2022Updated 4 years ago
- Sierra decompiler and analyzer☆12Apr 22, 2025Updated last year
- Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.☆30Feb 13, 2023Updated 3 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 4 years ago
- CLI tool to develop StarkNet projects written in Cairo☆312Dec 1, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆188Aug 10, 2025Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆67Feb 20, 2023Updated 3 years ago
- Iterated prisoner's dilemma tournaments implemented with Cairo☆25Jul 10, 2022Updated 4 years ago
- An interactive tutorial to get you up and running with Starknet☆300Aug 21, 2023Updated 3 years ago
- cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writin…☆588Sep 30, 2026Updated last month
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆11Feb 26, 2024Updated 2 years ago
- A simple multisig implementation for StarkNet☆43May 28, 2022Updated 4 years ago