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☆203Updated 2 weeks 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
- a meditation protocol☆54Updated 7 months ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Stochastic Time Tracking for Space Cadets☆373Updated 2 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 11 months ago
- An alternative frontend for LessWrong 2.0☆78Updated last week
- The fastest way to make and track predictions☆55Updated 2 weeks ago
- ☆26Updated 2 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 this week
- A curated list of awesome Category Theory resources.☆127Updated 8 months ago
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆80Updated last year
- ☆14Updated 2 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last month
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆687Updated last week
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- Brzozowski derivative python sketch☆86Updated 9 months ago
- a datalog interpreter in typescript☆214Updated last year
- Polynomial-time Meta-Interpretive Learning☆131Updated 11 months ago
- rslt, take five-ish☆150Updated 4 years ago
- Contractual Semver☆28Updated 3 years ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated this week
- Categorical Query Language IDE☆320Updated 2 weeks ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆195Updated 3 weeks ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆122Updated 3 weeks ago
- My personal repository of formally verified mathematics.☆308Updated this week
- The best Prolog visualizer☆88Updated 3 years ago