Alternatives and similar repositories for predict:

Users that are interested in predict are comparing it to the libraries listed below

• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆68Updated last month
• bshlgrs / consciousness
  A software agent illustrating some features of an illusionist account of consciousness
  ☆14Updated 7 years ago
• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆74Updated last year
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated last month
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• mwhea / Manifold_Trading_Bots
  ☆13Updated last year
• machine-intelligence / provability
  ☆35Updated 9 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆169Updated this week
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• glowfic-constellation / glowfic
  The Glowfic Constellation
  ☆18Updated last week
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆150Updated 3 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• fullthom / chat-gpt-quine
  ☆126Updated last year
• NunoSempere / longnow-for-markdown
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 3 weeks ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated last month
• DavidMirror / Unsong-In-Ebook-Format
  ☆3Updated 7 years ago
• tagtime / TagTime
  Stochastic Time Tracking for Space Cadets
  ☆369Updated 6 months ago
• electionscience / vse-sim
  Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.
  ☆59Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 11 months ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• benthamite / EA-numbers
  Anki deck: Some key numbers that every effective altruist should know.
  ☆24Updated last year
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• jonathanpaulson / grabby_aliens
  ☆86Updated 2 years ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆472Updated last year
• TheExGenesis / community-archive
  An open tweet database and API anyone can build on.
  ☆82Updated this week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 4 months ago
• riceissa / aiwatch
  Website to track people, organizations, and products (tools, websites, etc.) in AI safety
  ☆21Updated this week
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆70Updated 11 months ago