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☆205Updated last week
- A math language for dimensional analysis☆23Updated 2 years ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated 2 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 11 months ago
- The fastest way to make and track predictions☆56Updated last month
- A software agent illustrating some features of an illusionist account of consciousness☆17Updated 8 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- The Glowfic Constellation☆21Updated last week
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- An alternative frontend for LessWrong 2.0☆78Updated 3 weeks ago
- Stochastic Time Tracking for Space Cadets☆373Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆138Updated this week
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A curated list of awesome Category Theory resources.☆128Updated last week
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆688Updated this week
- Squiggle programming language for intuitive probabilistic estimation features in Python☆80Updated 2 weeks ago
- Python tools for working with Manifold Markets☆39Updated 7 months ago
- Is this integer dead or alive?☆45Updated 8 years ago
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 3 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 6 months ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- Categorical Query Language IDE☆322Updated 3 weeks ago
- a categorical deep learning compiler☆207Updated 4 months ago
- a simulacrum standing in place of Gavin Leech☆18Updated 3 weeks ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆92Updated 5 years ago
- ☆165Updated 6 years ago
- ☆347Updated 7 years ago
- My personal repository of formally verified mathematics.☆310Updated 2 weeks ago