manifoldmarkets / manifundLinks
☆11Updated last week
Alternatives and similar repositories for manifund
Users that are interested in manifund are comparing it to the libraries listed below
Sorting:
- gpt completions in vscode☆34Updated 2 years ago
- React Hooks for Keyless AI☆26Updated 2 years ago
- ☆13Updated 2 years ago
- A simple library to better manage AI prompts in your Rust code.☆12Updated last year
- Eric's personal notes from NYSRG https://notes.ekzhang.com/events/nysrg☆24Updated last week
- Write Succinct Proofs for Graphs easily☆27Updated last year
- Rust containers for machine learning.☆107Updated last year
- Advent of Code 2023 in 25 interesting language specimens, A-Z☆33Updated last year
- All Auto Latex Equations Versions.☆36Updated this week
- Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP☆82Updated 6 months ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Updated 2 years ago
- A library for partitioning 3D data.☆10Updated 9 months ago
- A mutation testing CLI tool built in Rust. Currently supports Noir as a target language☆12Updated 7 months ago
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆13Updated 3 years ago
- AI Safety Q&A web frontend☆39Updated 2 weeks ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆18Updated 4 months ago
- An intentionally-limited Rust implementation of the Redis server with no external dependencies.☆40Updated 2 years ago
- A minimalist notepad for thinkers. Ephemeral notes for ephemeral thoughts.☆43Updated 2 years ago
- A filesystem abstraction layer for Rust.☆29Updated 7 months ago
- peer-to-peer compute and intelligence network that enables decentralized AI development at scale☆87Updated this week
- How accurate are prediction markets?☆19Updated last month
- ☆14Updated 2 months ago
- LLM Power Tool, with experimental features such as audio transcription from ElevenLabs.☆15Updated last year
- ☆47Updated 10 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 5 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- World's first zk explorer☆10Updated last year
- Simple sync/async event dispatcher for Rust☆16Updated last year
- Making learning sh*t less annoying☆42Updated 5 months ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆71Updated 2 years ago