adelelopez / predictLinks
Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.
☆12Updated 9 years ago
Alternatives and similar repositories for predict
Users that are interested in predict are comparing it to the libraries listed below
Sorting:
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆200Updated last week
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆65Updated 9 months ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated last year
- The Glowfic Constellation☆21Updated 3 weeks ago
- A software agent illustrating some features of an illusionist account of consciousness☆17Updated 8 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 7 years ago
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆80Updated last year
- Manifold Markets: A market for every question☆457Updated this week
- Rewriting Principia Mathematica in Lean☆135Updated 2 months ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆80Updated 6 months ago
- Is this integer dead or alive?☆45Updated 8 years ago
- Polynomial-time Meta-Interpretive Learning☆130Updated 9 months ago
- Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.☆59Updated 2 years ago
- Brzozowski derivative python sketch☆85Updated 7 months ago
- A curated list of awesome Category Theory resources.☆126Updated 6 months ago
- ☆87Updated 3 years ago
- PostgreSQL Prolog language handler☆135Updated last year
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 6 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Persistence of concurrent activities for Gerbil Scheme☆56Updated last month
- Compiler for MFM programming language☆59Updated 7 months ago
- Categorical Query Language IDE☆319Updated 3 weeks ago
- ☆44Updated last year
- Application of formal systems to model biological systems☆487Updated 2 years ago
- a categorical deep learning compiler☆204Updated last month
- A repository for generative models☆117Updated 5 months ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- Casual experiments with cellular automata☆78Updated 6 years ago