g-leech / argmin-gravitasLinks
a simulacrum standing in place of Gavin Leech
☆16Updated this week
Alternatives and similar repositories for argmin-gravitas
Users that are interested in argmin-gravitas are comparing it to the libraries listed below
Sorting:
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 6 months ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 9 years ago
- A software agent illustrating some features of an illusionist account of consciousness☆15Updated 7 years ago
- Python tools for working with Manifold Markets☆36Updated last month
- ☆86Updated 3 years ago
- Bet sizing tool for manifold markets☆19Updated last year
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆190Updated last week
- Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.☆59Updated 2 years ago
- gpt completions in vscode☆34Updated 2 years ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆23Updated last week
- ☆21Updated 3 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆75Updated last year
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- Manifold Markets: A market for every question☆443Updated this week
- The Math of Card Shufflig☆38Updated 3 years ago
- National Novel Generation Month, 2023 edition.☆27Updated 10 months ago
- Code + data archive for "Modeling the Human Trajectory"☆29Updated last year
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated this week
- Research wiki☆51Updated 2 years ago
- A solver for halting problem of Brainfuck programs☆17Updated 5 years ago
- An alternative frontend for LessWrong 2.0☆75Updated 2 weeks ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆42Updated this week
- Compiler for the M language, used to compute the income tax of French taxpayers☆197Updated 2 weeks ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Python API client for Manifold Markets☆15Updated 2 years ago
- ☆126Updated 2 years ago
- ☆45Updated 2 years ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- The fastest way to make and track predictions☆50Updated 2 months ago
- ☆78Updated this week