Will-Howard / manifolio
Bet sizing tool for manifold markets
☆17Updated last year
Alternatives and similar repositories for manifolio:
Users that are interested in manifolio are comparing it to the libraries listed below
- Python tools for working with Manifold Markets☆34Updated 3 months ago
- ☆13Updated last year
- Python API client for Manifold Markets☆15Updated 2 years ago
- An estimation language☆161Updated this week
- Manifold Markets: A market for every question☆430Updated this week
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 2 months ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆65Updated 2 months ago
- The fastest way to make and track predictions☆36Updated last week
- A blog on AI, personal development, and living a good life.☆11Updated this week
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆15Updated 2 months ago
- ☆60Updated this week
- A Discord bot for the Robert Miles AI server☆38Updated this week
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- A Low Barrier Proof Assistant☆69Updated this week
- A minimalistic-bootstrap to find a quantum theory of the cosmos.☆100Updated 2 months ago
- Code to generate textbooks using GPT as well as several fully-generated examples☆18Updated 2 years ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆14Updated 3 weeks ago
- gpt completions in vscode☆33Updated last year
- LLMs playing chess are sensitive to how the position came to be☆19Updated 11 months ago
- ☆9Updated 5 months ago
- ☆78Updated last month
- Use context-free grammars with an LLM☆167Updated 9 months ago
- Prose Markup Language☆9Updated last year
- a categorical deep learning compiler☆114Updated 8 months ago
- A production-grade framework for building AI agents.☆70Updated last year
- ☆124Updated last year
- list of projects related to EA Software Engineers☆28Updated last year
- Visualizing the internal board state of a GPT trained on chess PGN strings, and performing interventions on its internal board state and …☆198Updated 2 months ago
- The Happy Faces Benchmark☆14Updated last year