manifoldmarkets / manifundLinks
☆11Updated 2 weeks ago
Alternatives and similar repositories for manifund
Users that are interested in manifund are comparing it to the libraries listed below
Sorting:
- ☆13Updated 2 years ago
- gpt completions in vscode☆35Updated 2 years ago
- A tiny nearest-neighbor embedding database written in C☆19Updated 2 years ago
- Rust containers for machine learning.☆111Updated last year
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated last year
- Enabling credibly pseudonymous posting @ heyanon.xyz☆31Updated 3 years ago
- React Hooks for Keyless AI☆26Updated 2 years ago
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆14Updated 3 years ago
- Write Succinct Proofs for Graphs easily☆27Updated last year
- Proactive refresh for accountable threshold signatures☆36Updated 2 years ago
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆34Updated last year
- Making learning sh*t less annoying☆41Updated 10 months ago
- A minimalist notepad for thinkers. Ephemeral notes for ephemeral thoughts.☆45Updated 2 years ago
- Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg☆47Updated this week
- LLM Power Tool, with experimental features such as audio transcription from ElevenLabs.☆15Updated last year
- Semantic search across every YC company ever. Vibe check your idea?☆66Updated 2 years ago
- ZK Theorem Proving☆10Updated last year
- Yet another tool for working with stacked pull requests☆83Updated last year
- ☆14Updated 3 months ago
- AI Safety Q&A web frontend☆41Updated last week
- Extracting the semantics of Noir to Lean for formal verification☆34Updated last week
- Asynchronous P2P communication backend for decentralized pipeline parallelism☆38Updated 6 months ago
- ☆18Updated last year
- ☆49Updated 2 years ago
- Code for emailwallet.org. Decentralized, zk-proof based, privacy preserving email-based transactions on chain, token transfers to email a…☆11Updated 9 months ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Updated 2 years ago
- generate love songs between characters with AI for valentine's day☆15Updated 2 years ago
- We're living in Obfustopia☆27Updated 11 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆73Updated 2 years ago
- private 1inch☆14Updated 2 years ago