adelelopez / predictLinks
Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.
☆11Updated 8 years ago
Alternatives and similar repositories for predict
Users that are interested in predict are comparing it to the libraries listed below
Sorting:
- An alternative frontend for LessWrong 2.0☆70Updated last week
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆185Updated this week
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 3 months ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆74Updated last year
- Command-line recursive question-answering with immutable contexts and explicit data store☆26Updated 6 years ago
- A software agent illustrating some features of an illusionist account of consciousness☆14Updated 7 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- a simulacrum standing in place of Gavin Leech☆16Updated last week
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 3 months ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- ☆36Updated 9 years ago
- Run Iterated Prisoner's Dilemma tournaments, Judge the bots according to various morality metrics☆81Updated 10 months ago
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.☆59Updated last year
- ☆14Updated 2 years ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆77Updated last month
- Application of formal systems to model biological systems☆474Updated 2 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- ☆162Updated 5 years ago
- Stochastic Time Tracking for Space Cadets☆370Updated last week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- A graphical interactive proof assistant designed for education☆166Updated 6 months ago
- Compiler for MFM programming language☆59Updated 2 months ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- ☆3Updated 8 years ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago