quantified-uncertainty / squiggleLinks
This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
☆193Updated 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☆79Updated 5 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆65Updated 8 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆116Updated this week
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 2 months ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆37Updated 11 months ago
- The fastest way to make and track predictions☆50Updated last week
- Anki deck: Some key numbers that every effective altruist should know.☆25Updated 2 years ago
- Python tools for working with Manifold Markets☆36Updated 3 months ago
- Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.☆12Updated 9 years ago
- A blog on AI, personal development, and living a good life.☆25Updated this week
- A fluid medium for storing, relating, and surfacing thoughts.☆134Updated 3 years ago
- Polynomial-time Meta-Interpretive Learning☆128Updated 7 months ago
- Code to support the guide to logical induction for software engineers☆11Updated 6 months ago
- Repo to track the evolution of notation in arts and sciences☆145Updated 2 years ago
- Open source, local-first knowledge platform.☆210Updated 3 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Catalog of visual lambda calculi☆155Updated 2 months ago
- ☆44Updated last month
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆664Updated this week
- A dynamic data-driven document development environment (DDDDDE)☆85Updated 2 years ago
- Main repository for the Research Programme in Computational Law☆35Updated last year
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆149Updated 6 months ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆59Updated 2 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- a datalog interpreter in typescript☆212Updated 9 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- Haskell implementation of open games☆175Updated 8 months ago
- A curated list of awesome Category Theory resources.☆123Updated 5 months ago
- Catalogue of portals that maps out roadmap for self learners☆81Updated 2 years ago