🐺 Simple STARK verifier in cameligo
☆11Jun 5, 2023Updated 3 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
- JavaScript runtime and compute platform build on Tezos Smart Rollups☆44May 20, 2026Updated 2 months ago
- Some scripts that i use to generate my tezos tax reports☆16Aug 19, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation…☆45Jul 15, 2022Updated 4 years ago
- An indexer that aggregates and normalizes NFT related data on the Tezos Blockchain and provides a GraphQL API for developers.☆33May 11, 2026Updated 2 months ago
- Sign In With Tezos: Access Control Management SDK☆16Aug 1, 2024Updated last year
- Create production-ready Tezos smart contracts with just one command☆17Jan 24, 2023Updated 3 years ago
- A Randomizer Oracle☆19Jul 31, 2022Updated 3 years ago
- Technical Documentation for Kakarot zkEVM☆11Feb 21, 2025Updated last year
- ctez contract and frontend☆23Aug 21, 2024Updated last year
- ☆27Dec 14, 2021Updated 4 years ago
- Contract Metadata Viewer on Tezos☆25Sep 10, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An implementation of BGP (RFC 4271) written in Erlang (only < 10% done)☆16Jul 2, 2009Updated 17 years ago
- *BETA* Taqueria provides a seamless development workflow to easily build, test and deploy your Tezos applications.☆63Jul 6, 2026Updated 2 weeks ago
- Radio player for audio tracks in a tezos wallet.☆22Jul 30, 2021Updated 4 years ago
- ☆27Dec 8, 2021Updated 4 years ago
- Deploy a Tezos Blockchain on Kubernetes☆53Jun 26, 2024Updated 2 years ago
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- 🐺 Starknet indexer | Base component of the DipDup Vertical for Starknet☆18Jul 17, 2025Updated last year
- Iterated prisoner's dilemma tournaments implemented with Cairo☆25Jul 10, 2022Updated 4 years ago
- This is adaptation of git://git.omapzoom.org/kernel/omap.git to Nook Tablet☆16Mar 7, 2013Updated 13 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.
- Various forms of distribution for the Starkware Stone prover and verifier☆17Jan 15, 2025Updated last year
- Tezos as a Service - WebSocket API☆10Mar 3, 2023Updated 3 years ago
- Tezos Baking Made Easy☆13Dec 25, 2021Updated 4 years ago
- FA2 LIGO Smart Contracts.☆13Nov 14, 2024Updated last year
- Tezos remote signer with policies, Prometheus metrics, and HSM/KMS + TEE backends (YubiHSM, CloudHSM, Nitro Enclaves, Confidential Space)…☆76Updated this week
- Token2Token DEX for equal-price tokens based on StableSwap algos on top of Tezos☆13Mar 27, 2023Updated 3 years ago
- Portfolios for Creatives && Open Source Dribbble Alternative☆13Dec 28, 2025Updated 6 months ago
- 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 8 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Sep 25, 2022Updated 3 years ago
- Sign In With Tezos: Access Control Management using Tezos NFTs☆32Oct 31, 2023Updated 2 years ago
- RPC request router and proxy for Starknet, forked from Optimism proxyd.☆12Feb 26, 2024Updated 2 years ago
- 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
- Ordgen / ORC-721 Sandbox☆18Sep 4, 2023Updated 2 years ago
- Tools around the OSI used to verify the content of messages and more.☆13Feb 5, 2026Updated 5 months ago