software-mansion-labs/cairo-compiler-workshop 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

software-mansion-labs/cairo-compiler-workshop

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/software-mansion-labs/cairo-compiler-workshop)

Close

software-mansion-labs / cairo-compiler-workshopView on GitHubMore

• External links
• Readme badge

A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.

☆21Aug 7, 2024Updated last year

Alternatives and similar repositories for cairo-compiler-workshop

Users that are interested in cairo-compiler-workshop are comparing it to the libraries listed below

• software-mansion / cairo-coverage

  View on GitHub
  Code coverage tool for cairo
  ☆22Feb 23, 2026Updated last week
• keep-starknet-strange / zaun

  View on GitHub
  Solidity contracts for the Starknet Decentralized Protocol proposal
  ☆12Apr 24, 2025Updated 10 months ago
• software-mansion / cairols

  View on GitHub
  The Cairo Language Server
  ☆22Updated this week
• software-mansion / cairo-profiler

  View on GitHub
  Profiler for Cairo programming language & Starknet
  ☆37Updated this week
• keep-starknet-strange / zkramp

  View on GitHub
  ☆29Oct 8, 2024Updated last year
• franalgaba / cairo-installer

  View on GitHub
  Tool to install Cairo 1.0 with a single command
  ☆15Apr 1, 2023Updated 2 years ago
• software-mansion / cairo-lint

  View on GitHub
  A collection of lints to catch common mistakes and improve your Cairo code.
  ☆32Feb 26, 2026Updated last week
• Th0rgal / verity

  View on GitHub
  Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full forma…
  ☆36Updated this week
• software-mansion / setup-scarb

  View on GitHub
  Sets up Scarb in your GitHub Actions workflow.
  ☆19Feb 24, 2026Updated last week
• NethermindEth / starknet-staking-v2

  View on GitHub
  Validator software for Starknet stakers written in Go
  ☆15Dec 19, 2025Updated 2 months ago
• gaetbout / stark-utils

  View on GitHub
  ☆23Feb 19, 2025Updated last year
• starkware-libs / starknet-staking

  View on GitHub
  starknet-staking
  ☆97Dec 18, 2025Updated 2 months ago
• software-mansion / starkup

  View on GitHub
  Tool for installing all the Starknet essentials for development.
  ☆36Feb 26, 2026Updated last week
• NethermindEth / StarknetByExample

  View on GitHub
  A collection of examples of Cairo smart contracts for Starknet.
  ☆150Jul 17, 2025Updated 7 months ago
• software-mansion / scarb

  View on GitHub
  The Cairo package manager
  ☆218Updated this week
• amanusk / awesome-starknet-security

  View on GitHub
  A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
  ☆81Apr 2, 2025Updated 11 months ago
• CarmineOptions / konoha

  View on GitHub
  A toolkit for DAO-like governance on Starknet
  ☆30Feb 11, 2025Updated last year
• EkuboProtocol / privacy-pools

  View on GitHub
  ☆34Feb 3, 2025Updated last year
• ClementWalter / cairo-vm-df

  View on GitHub
  A dataframe approach to the Cairo framework
  ☆17Feb 10, 2025Updated last year
• software-mansion / universal-sierra-compiler

  View on GitHub
  ☆19Updated this week
• kariy / probe

  View on GitHub
  A Starknet toolkit
  ☆15Mar 6, 2025Updated 11 months ago
• kkrt-labs / keth

  View on GitHub
  A EVM block proving backend in Cairo
  ☆88Feb 23, 2026Updated last week
• glihm / starknet-messaging-dev

  View on GitHub
  A detailed tutorial to test Starknet messaging with Anvil and Katana
  ☆30Feb 11, 2026Updated 3 weeks ago
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 11 months ago
• foundry-rs / starknet-foundry

  View on GitHub
  Blazing fast toolkit for developing Starknet contracts.
  ☆390Feb 26, 2026Updated last week
• pscott / StarknetCC-CTF

  View on GitHub
  Write up of the StarknetCC-Lisbon-CTF
  ☆20Nov 7, 2022Updated 3 years ago
• massalabs / riscairo

  View on GitHub
  RISC-V ELF interpreter in cairo
  ☆37Oct 18, 2024Updated last year
• starkware-bitcoin / shinigami

  View on GitHub
  Bitcoin Script VM in Cairo
  ☆72Jun 2, 2025Updated 9 months ago
• starknet-io / SNIPs

  View on GitHub
  Starknet Improvement Proposal repository
  ☆206Feb 15, 2026Updated 2 weeks ago
• ericnordelo / src5-rs

  View on GitHub
  Utility for generating SRC5 interfaces ids from Cairo traits
  ☆21Feb 13, 2024Updated 2 years ago
• HerodotusDev / cairo-lib

  View on GitHub
  A comprehensive library for Cairo 🐺
  ☆40Jan 27, 2026Updated last month
• xJonathanLEI / starknet-rs

  View on GitHub
  Complete Starknet library in Rust™
  ☆316Nov 9, 2025Updated 3 months ago
• reilabs / cairo-hints

  View on GitHub
  ☆24Nov 19, 2024Updated last year
• 0xSpaceShard / starknet-rivet

  View on GitHub
  Developer wallet for Starknet
  ☆13Apr 30, 2025Updated 10 months ago
• foundry-rs / starknet_forge_template

  View on GitHub
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Nov 15, 2023Updated 2 years ago
• 0xSacha / debtAllocatorLendingVaultV3

  View on GitHub
  ☆10Jan 29, 2023Updated 3 years ago
• keep-starknet-strange / awesome-slinks

  View on GitHub
  Unofficial community curated list of Slinks.
  ☆25Aug 13, 2024Updated last year
• lambdaclass / cairo-by-example

  View on GitHub
  cairo-by-example.com
  ☆38May 6, 2025Updated 9 months ago
• dpinones / starklings-app

  View on GitHub
  ☆44Apr 24, 2025Updated 10 months ago