Take a whirlwind tour of Cairo
☆13Feb 14, 2023Updated 3 years ago
Alternatives and similar repositories for CairoLearnXinYminutes
Users that are interested in CairoLearnXinYminutes are comparing it to the libraries listed below
Sorting:
- ☆47Jan 10, 2024Updated 2 years ago
- efficient modular multiplication research☆15Feb 8, 2023Updated 3 years ago
- notes for community call for ZKML Community☆18Nov 9, 2022Updated 3 years ago
- wipppp☆18May 15, 2022Updated 3 years ago
- Semi-Fungible Token☆23Sep 28, 2024Updated last year
- ☆44Mar 21, 2024Updated last year
- A minimal template for building smart contracts with Cairo 1.0☆87Jun 1, 2023Updated 2 years ago
- A combination of simple implementations of different existing protocols and standards in Cairo☆46Feb 6, 2023Updated 3 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Feb 8, 2023Updated 3 years ago
- Synthetics platform for Starknet, inspired by GMX v2 design.☆114Jul 26, 2024Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Feb 20, 2023Updated 3 years ago
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.☆277Feb 28, 2026Updated last week
- An interactive tutorial to get you up and running with Cairo v1 and Starknet☆470Sep 9, 2025Updated 6 months ago
- A curated list of resources on zkECDSA☆35Aug 1, 2023Updated 2 years ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆137Feb 27, 2024Updated 2 years ago
- STARK 101 Workshop in Rust 🐺🦀☆140Apr 28, 2023Updated 2 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆38Jul 25, 2023Updated 2 years ago
- Token Vesting Smart Contract for Aptos Blockchain.☆10Jun 4, 2023Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆157Aug 25, 2022Updated 3 years ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆169May 15, 2025Updated 9 months ago
- GitHub action for https://github.com/release-plz/release-plz☆51Updated this week
- ☆41Aug 9, 2024Updated last year
- ☆13Sep 6, 2023Updated 2 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 9 months ago
- RDF fact prover and proof validator operating on simple conjunctive rules.☆10Feb 28, 2026Updated last week
- Pocket API bindings (http://getpocket.com), WIP☆10Apr 17, 2016Updated 9 years ago
- contract-deployer repository☆16Jan 8, 2026Updated 2 months ago
- ☆14Apr 28, 2022Updated 3 years ago
- Get familiar with different fine-tuning techniques for text-to-image models, and learn how to teach a diffusion model a concept of your c…☆16Feb 29, 2024Updated 2 years ago
- Taskwarrior tasks reviewing script☆14May 25, 2015Updated 10 years ago
- An MCP client that uses signal for sending and receiving messages.☆17Apr 30, 2025Updated 10 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated 6 months ago
- Awesome big data and advanced analytics resources for the Microsoft Azure Cloud☆14Jan 5, 2021Updated 5 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Feb 8, 2023Updated 3 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago