☆13Mar 26, 2026Updated this week
Alternatives and similar repositories for manifund
Users that are interested in manifund are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Python API client for Manifold Markets☆18Dec 18, 2022Updated 3 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- Simple prediction market platform☆43Mar 16, 2025Updated last year
- Beebrain and Visual Graph Editor☆16Mar 20, 2026Updated last week
- Micro-library for writing vanilla web components☆12Apr 29, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A sortable table vanilla web component☆16May 16, 2021Updated 4 years ago
- Search engine of my Curius data☆16Apr 10, 2022Updated 3 years ago
- Extensible esoteric programming language interpreter written in Python 3. *Not in active development/contributors needed*☆19Jun 14, 2019Updated 6 years ago
- My School Management System Software ERP☆18Oct 10, 2024Updated last year
- ☆10Aug 26, 2025Updated 7 months ago
- Beeminder library for Python☆26Jan 27, 2024Updated 2 years ago
- Olympiad GeoGuessr☆18Mar 20, 2026Updated last week
- Vanilla Javascript Material design's Bottom-sheet for web☆23Apr 21, 2022Updated 3 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Mar 11, 2026Updated 2 weeks ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- This repo is a project framework that allows people to directly implement navigational control logic on the open source robotic simulatio…☆13Feb 18, 2026Updated last month
- 🌺 Beautiful no-class CSS library☆14Feb 20, 2022Updated 4 years ago
- A scanner for DKIM selectors.☆12Nov 5, 2018Updated 7 years ago
- A repo of my talks☆11Nov 28, 2023Updated 2 years ago
- ☆18Mar 13, 2026Updated 2 weeks ago
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 3 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Feb 9, 2025Updated last year
- Write Succinct Proofs for Graphs easily☆27Dec 20, 2023Updated 2 years ago
- 🏡 My second personal website written in Next.js☆20Dec 15, 2024Updated last year
- 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.
- prove eth_call result☆15Mar 25, 2024Updated 2 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆11Jan 21, 2026Updated 2 months ago
- Verify DomainKeys Identified Mail signatures☆11Jan 24, 2023Updated 3 years ago
- ☆17Mar 31, 2024Updated last year
- Alternative Mastodon UI☆15Mar 1, 2023Updated 3 years ago
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 4 years ago
- Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.☆11Jun 5, 2024Updated last year
- ☆16Feb 19, 2026Updated last month
- ☆22Sep 9, 2021Updated 4 years ago
- 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.
- 🏗 forkable Ethereum dev stack focused on fast product iterations☆10Aug 28, 2021Updated 4 years ago
- ☆14Dec 13, 2024Updated last year
- ☆10Sep 15, 2023Updated 2 years ago
- ☆13Nov 10, 2023Updated 2 years ago
- ⚡️Real Time Chat app, supports group chats, direct messages and friendships. Built with ReactJS and Supabase as a backend☆26Sep 19, 2024Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆13Apr 8, 2024Updated last year
- Noir, Circom, and Halo2 exercises for DSL workshop at ZKSummit10☆13Sep 21, 2023Updated 2 years ago