☆15Sep 7, 2022Updated 4 years ago
Alternatives and similar repositories for zokrates-nextjs-demo
Users that are interested in zokrates-nextjs-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Oct 4, 2023Updated 3 years ago
- ☆23Dec 3, 2021Updated 4 years ago
- Webpack plugin that helps importing .cdc files☆10Aug 29, 2022Updated 4 years ago
- Zero-Knowledge dApp Boilerplate☆24Mar 8, 2023Updated 3 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 248 small Jev decisions for JavaScript and TypeScript: route, rerank, gate, grade, compare, and label text for agents, RAG, support, code…☆24Updated this week
- Simple DApp to allow Devcon attendees to review events anonymously.☆13May 15, 2026Updated 5 months ago
- ☆14Jan 12, 2021Updated 5 years ago
- HTTP status code viewer for neovim☆12Updated this week
- ☆10Jun 13, 2024Updated 2 years ago
- ☆11Apr 18, 2024Updated 2 years ago
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Oct 16, 2026Updated 3 weeks ago
- Community documentation and announcements for Boson Protocol☆13Feb 9, 2026Updated 8 months ago
- Wrappers for QuickCheck and PropEr testing tools☆21Jan 1, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆16Apr 25, 2023Updated 3 years ago
- ☆11Apr 22, 2026Updated 6 months ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- An alternative calldata encoding scheme for Solidity contracts.☆12Dec 14, 2023Updated 2 years ago
- Generic Socket support for Erlang☆19Oct 12, 2012Updated 14 years ago
- A clean, minimalist Obsidian theme using the classic Base16 Default Dark color palette.☆14Updated this week
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Nov 2, 2022Updated 4 years ago
- ☆15May 8, 2026Updated 5 months ago
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Prompt Framework made to optimise conversation with LLM's.☆12May 30, 2023Updated 3 years ago
- React modal components built for theme-ui☆12Mar 6, 2023Updated 3 years ago
- lean-related presentations☆18Oct 21, 2026Updated 2 weeks ago
- ☆11Dec 14, 2024Updated last year
- EthGlobal Autonomous Worlds Hackathon Project -- permissionless, composable, and autonomous on-chain RPG with playable characters as foun…☆11Jun 5, 2023Updated 3 years ago
- Forkable Starknet dev stack for rapid contract iterations, inspired by scaffold-eth☆26Sep 14, 2022Updated 4 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆118May 6, 2024Updated 2 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Roll a Mate - ETH Waterloo hackathon 2023☆13Jun 27, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- Blocto Bay Smart Contracts☆10Dec 28, 2023Updated 2 years ago
- ☆16Nov 10, 2025Updated 11 months ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 3 years ago
- Self driving car AI in road fighter world☆21Aug 4, 2023Updated 3 years ago
- Rebar3 Plugin for building & deploying AWS Lambda functions implemented in Erllambda☆15Apr 9, 2026Updated 6 months ago
- Circuits, written in circom, for Proof Of Solvency☆25Feb 11, 2023Updated 3 years ago