Bitcoin Script VM in Cairo
☆72Jun 2, 2025Updated 9 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 3 months ago
- Competitive art canvas on Starknet☆38Sep 2, 2025Updated 6 months ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆158Dec 3, 2025Updated 3 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 3 months ago
- Dojo game - Tetris like☆11Updated this week
- Profiler for Cairo programming language & Starknet☆37Updated this week
- ☆65Updated this week
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆480Updated this week
- Cairo STARK proof verifier for Starknet☆77Jan 27, 2026Updated last month
- Mobile OS built for Starknet☆30Jun 5, 2025Updated 9 months ago
- Code coverage tool for cairo☆22Updated this week
- A Codespace repo for ECON 235 & LB 235☆27Jan 30, 2025Updated last year
- ☆29Oct 8, 2024Updated last year
- Starknet Core Contract components in Cairo.☆29Feb 3, 2026Updated last month
- ☆19Aug 15, 2024Updated last year
- A Trust-minimized Bitcoin Bridge☆501Jan 26, 2026Updated last month
- A collection of lints to catch common mistakes and improve your Cairo code.☆32Feb 26, 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 10 months ago
- ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK☆176Mar 3, 2025Updated last year
- 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☆30Feb 11, 2026Updated 3 weeks ago
- 🐺 Starknet indexer | Base component of the DipDup Vertical for Starknet☆18Jul 17, 2025Updated 7 months ago
- Yet Another Bridge is the most affordable, fastest and secure solution to bridge from Starknet to Ethereum☆11Jun 16, 2024Updated last year
- Fulmine is Bitcoin wallet daemon that enables swap providers and payment hubs to optimize Lightning Network channel liquidity while minim…☆23Feb 18, 2026Updated 2 weeks ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆263Updated this week
- The magic of origami is in seeing a single piece of cairo evolve into a masterpiece through careful folds.☆48Sep 23, 2025Updated 5 months ago
- ☆50Mar 28, 2025Updated 11 months ago
- Audited & minimal JS implementation of Starknet cryptography.☆74Nov 23, 2025Updated 3 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆256Updated this week
- starknet-staking☆97Dec 18, 2025Updated 2 months ago
- 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