quantified-uncertainty / squiggleLinks
This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
☆192Updated 3 weeks ago
Alternatives and similar repositories for squiggle
Users that are interested in squiggle are comparing it to the libraries listed below
Sorting:
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆65Updated 6 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆107Updated this week
- Python tools for working with Manifold Markets☆36Updated 2 months ago
- A fluid medium for storing, relating, and surfacing thoughts.☆134Updated 3 years ago
- A web-based application for collaborating on simulation models in real-time using Firebase☆37Updated 9 months ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 3 weeks ago
- An alternative frontend for LessWrong 2.0☆75Updated this week
- A dynamic data-driven document development environment (DDDDDE)☆84Updated 2 years ago
- Code to support the guide to logical induction for software engineers☆11Updated 5 months ago
- Catalog of visual lambda calculi☆149Updated last month
- A blog on AI, personal development, and living a good life.☆23Updated last week
- a tiny tile-based editor☆306Updated 3 weeks ago
- A math language for dimensional analysis☆23Updated 2 years ago
- ☆43Updated last week
- Books that makes heavy use of visuals for scientific communication☆163Updated last year
- Find out just how sure you should be, and get better at being only as sure as the facts justify.☆73Updated last year
- Polynomial-time Meta-Interpretive Learning☆128Updated 6 months ago
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆656Updated this week
- Straightforward unification in Python that's extensible via generic functions.☆49Updated 11 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated last year
- Clingo on the web☆41Updated 3 weeks ago
- Catalogue of portals that maps out roadmap for self learners☆80Updated 2 years ago
- Haskell implementation of open games☆173Updated 6 months ago
- rslt, take five-ish☆151Updated 4 years ago
- List of links of techniques to help enhance mathematical notation☆189Updated 10 months ago
- Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…☆718Updated this week
- a datalog interpreter in typescript☆212Updated 7 months ago
- ☆62Updated 3 months ago
- Categorical Query Language IDE☆313Updated 3 weeks ago
- Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.☆147Updated 5 months ago