quantified-uncertainty / squiggleLinks
This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
☆188Updated 2 weeks ago
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 2 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 5 months ago
- Anki deck: Some key numbers that every effective altruist should know.☆24Updated 2 years ago
- Python tools for working with Manifold Markets☆36Updated 3 weeks ago
- A Python library for integrating model-based and judgmental forecasting☆107Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆92Updated this week
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 4 months ago
- ☆77Updated this week
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆142Updated 3 months ago
- Catalog of visual lambda calculi☆143Updated 3 months ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- Manifold Markets: A market for every question☆440Updated this week
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆638Updated this week
- A fluid medium for storing, relating, and surfacing thoughts.☆134Updated 3 years ago
- An extensible, lightweight relational/logic programming DSL written in pure Python☆214Updated 3 weeks ago
- ☆42Updated 3 months ago
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆75Updated last year
- The fastest way to make and track predictions☆50Updated last month
- a tiny tile-based editor☆304Updated 3 weeks ago
- An alternative frontend for LessWrong 2.0☆70Updated 3 weeks ago
- Code to support the guide to logical induction for software engineers☆11Updated 3 months ago
- Collection of compatible forecasting datasets☆9Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆271Updated 7 months ago
- A math language for dimensional analysis☆23Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 months ago
- a categorical deep learning compiler☆203Updated 4 months ago
- A blog on AI, personal development, and living a good life.☆18Updated this week
- ☆80Updated last year
- Categorical Query Language IDE☆311Updated last week