starkware-bitcoin / shinigamiView external linksLinks
Bitcoin Script VM in Cairo
☆73Jun 2, 2025Updated 8 months ago
Alternatives and similar repositories for shinigami
Users that are interested in shinigami are comparing it to the libraries listed below
Sorting:
- Bitcoin ZK client written in Cairo.☆113Dec 1, 2025Updated 2 months ago
- Competitive art canvas on Starknet☆37Sep 2, 2025Updated 5 months ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆159Dec 3, 2025Updated 2 months ago
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.☆21Aug 7, 2024Updated last year
- A simple and fast Utreexo bridge node.☆12Nov 19, 2025Updated 2 months ago
- Dojo game - Tetris like☆11Feb 6, 2026Updated last week
- Profiler for Cairo programming language & Starknet☆37Feb 5, 2026Updated last week
- ☆64Updated this week
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆474Feb 5, 2026Updated last week
- Cairo STARK proof verifier for Starknet☆74Jan 27, 2026Updated 2 weeks ago
- Mobile OS built for Starknet☆29Jun 5, 2025Updated 8 months ago
- Code coverage tool for cairo☆22Updated this week
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- Starknet Core Contract components in Cairo.☆28Feb 3, 2026Updated last week
- ☆29Oct 8, 2024Updated last year
- A Trust-minimized Bitcoin Bridge☆494Jan 26, 2026Updated 2 weeks ago
- ☆19Aug 15, 2024Updated last year
- A collection of lints to catch common mistakes and improve your Cairo code.☆32Feb 5, 2026Updated last week
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- ☆11Sep 14, 2025Updated 5 months ago
- Lightweight transaction explorer for the OP Stack.☆20Apr 24, 2025Updated 9 months ago
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK☆176Mar 3, 2025Updated 11 months ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.☆137Updated this week
- Protocols that use simple covenants to scale Lightning☆19Nov 20, 2023Updated 2 years ago
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Aug 22, 2024Updated last year
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆30Updated this week
- Fulmine is Bitcoin wallet daemon that enables swap providers and payment hubs to optimize Lightning Network channel liquidity while minim…☆23Updated this week
- 🐺 Starknet indexer | Base component of the DipDup Vertical for Starknet☆18Jul 17, 2025Updated 6 months ago
- Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum☆11Jun 16, 2024Updated last year
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆264Jan 19, 2026Updated 3 weeks ago
- ☆50Mar 28, 2025Updated 10 months ago
- The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.☆48Sep 23, 2025Updated 4 months ago
- Audited & minimal JS implementation of Starknet cryptography.☆74Nov 23, 2025Updated 2 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆251Jan 24, 2026Updated 3 weeks ago
- starknet-staking☆97Dec 18, 2025Updated last month
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- Bitcoin Script interpreter implemented in Rust☆53Dec 11, 2025Updated 2 months ago
- Powering Verifiable Computation for Nostr Data Vending Machines.☆25Dec 4, 2024Updated last year