quantified-uncertainty / squiggleLinks
This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
☆200Updated last 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☆80Updated 6 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆65Updated 9 months ago
- Python tools for working with Manifold Markets☆37Updated 4 months ago
- Anki deck: Some key numbers that every effective altruist should know.☆25Updated 2 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆127Updated this week
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 3 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
- A web-based application for collaborating on simulation models in real-time using Firebase☆37Updated last year
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- A math language for dimensional analysis☆23Updated 2 years ago
- A fluid medium for storing, relating, and surfacing thoughts.☆135Updated 3 years ago
- An alternative frontend for LessWrong 2.0☆74Updated this week
- Polynomial-time Meta-Interpretive Learning☆130Updated 9 months ago
- rslt, take five-ish☆151Updated 4 years ago
- Repo to track the evolution of notation in arts and sciences☆146Updated 2 years ago
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆677Updated this week
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Updated 9 years ago
- Catalog of visual lambda calculi☆158Updated 4 months ago
- Haskell implementation of open games☆177Updated 9 months ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆231Updated 2 months ago
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- Domain Specific Languages for Computational Law☆77Updated 4 months ago
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆150Updated 7 months ago
- Categorical Query Language IDE☆319Updated 3 weeks ago
- ☆44Updated 3 months ago
- Books that makes heavy use of visuals for scientific communication☆166Updated last year
- Compiler for the M language, used to compute the income tax of French taxpayers☆197Updated 2 weeks ago
- The Principia Rewrite☆228Updated 9 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- Open source, local-first knowledge platform.☆211Updated 3 years ago