🐺 Simple STARK verifier in cameligo
☆11Jun 5, 2023Updated 2 years ago
Alternatives and similar repositories for tz-starks
Users that are interested in tz-starks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Michelson VM and Tezos OS rewritten in Rust☆26Sep 26, 2023Updated 2 years ago
- A debugger for Michelson☆15Aug 7, 2023Updated 2 years ago
- This open collaboration project aims to explore and document the various technology stacks associated with Starknet.☆10Feb 21, 2024Updated 2 years ago
- Some scripts that i use to generate my tezos tax reports☆16Aug 19, 2025Updated 8 months ago
- JavaScript runtime and compute platform build on Tezos Smart Rollups☆45Mar 5, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation…☆45Jul 15, 2022Updated 3 years ago
- An indexer that aggregates and normalizes NFT related data on the Tezos Blockchain and provides a GraphQL API for developers.☆33Nov 30, 2025Updated 4 months ago
- Sign In With Tezos: Access Control Management SDK☆16Aug 1, 2024Updated last year
- A Randomizer Oracle☆19Jul 31, 2022Updated 3 years ago
- ctez contract and frontend☆23Aug 21, 2024Updated last year
- Technical Documentation for Kakarot zkEVM☆11Feb 21, 2025Updated last year
- ☆27Dec 14, 2021Updated 4 years ago
- Contract Metadata Viewer on Tezos☆25Sep 10, 2024Updated last year
- Create production-ready Tezos smart contracts with just one command☆17Jan 24, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- *BETA* Taqueria provides a seamless development workflow to easily build, test and deploy your Tezos applications.☆63Jan 10, 2026Updated 3 months ago
- Radio player for audio tracks in a tezos wallet.☆22Jul 30, 2021Updated 4 years ago
- Deploy a Tezos Blockchain on Kubernetes☆53Jun 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
- ☆27Dec 8, 2021Updated 4 years ago
- Iterated prisoner's dilemma tournaments implemented with Cairo☆25Jul 10, 2022Updated 3 years ago
- ☆11Sep 25, 2022Updated 3 years ago
- AI research agent that reads papers, runs experiments, and tells you what worked!☆66Apr 12, 2026Updated last week
- Portfolios for Creatives && Open Source Dribbble Alternative☆14Dec 28, 2025Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Mar 23, 2023Updated 3 years ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- Tezos as a Service - WebSocket API☆10Mar 3, 2023Updated 3 years ago
- Tezos remote signer with policies, Prometheus metrics, and HSM/KMS + TEE backends (YubiHSM, CloudHSM, Nitro Enclaves, Confidential Space)…☆76Apr 10, 2026Updated last week
- Mobile app that tracks your aave positions and notifies you of low health factor☆11Nov 28, 2024Updated last year
- Various forms of distribution for the Starkware Stone prover and verifier☆17Jan 15, 2025Updated last year
- Token2Token DEX for equal-price tokens based on StableSwap algos on top of Tezos☆12Mar 27, 2023Updated 3 years ago
- 🐍 Python SDK for Tezos | Michelson VM in Python☆114Jan 19, 2026Updated 3 months ago
- ☆73Dec 17, 2024Updated last year
- 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.
- Protochannel is a TicTacToe game using of Ethereum State Channel to do off-chain transactions☆10Dec 29, 2022Updated 3 years ago
- A brief timeline of Hic et Nunc (H=N) and Teia☆19Nov 2, 2025Updated 5 months ago
- Tezos Baking Made Easy☆13Dec 25, 2021Updated 4 years ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Ordgen / ORC-721 Sandbox☆18Sep 4, 2023Updated 2 years ago
- Sign In With Tezos: Access Control Management using Tezos NFTs☆32Oct 31, 2023Updated 2 years ago