quantified-uncertainty / squiggleLinks
This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
☆185Updated this week
Alternatives and similar repositories for squiggle
Users that are interested in squiggle are comparing it to the libraries listed below
Sorting:
- Squiggle programming language for intuitive probabilistic estimation features in Python☆77Updated last month
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 3 months ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 3 months ago
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- ☆77Updated this week
- A math language for dimensional analysis☆23Updated 2 years ago
- The fastest way to make and track predictions☆47Updated last month
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated last year
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆74Updated last year
- An alternative frontend for LessWrong 2.0☆70Updated last week
- This git repository outlines three scoring rules that I believe might serve current forecasting platforms better than current alternative…☆18Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆11Updated 8 years ago
- Catalog of visual lambda calculi☆140Updated last month
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- A fluid medium for storing, relating, and surfacing thoughts.☆132Updated 3 years ago
- A platform for forecasting with probability distributions☆43Updated 2 years ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- Domain Specific Languages for Computational Law☆75Updated 3 months ago
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆22Updated this week
- a datalog interpreter in typescript☆210Updated 5 months ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…☆686Updated last week
- ☆40Updated 2 months ago
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆630Updated this week
- Open source, local-first knowledge platform.☆211Updated 2 years ago
- ☆61Updated 3 weeks ago
- A curated list of awesome Category Theory resources.☆115Updated last month