Alternatives and similar repositories for predict

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

• bellroy / predictionbook
  Find out just how sure you should be, and get better at being only as sure as the facts justify.
  ☆73Updated last year
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆193Updated 2 weeks ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆65Updated 7 months ago
• glowfic-constellation / glowfic
  The Glowfic Constellation
  ☆20Updated last week
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆123Updated 5 months ago
• tagtime / TagTime
  Stochastic Time Tracking for Space Cadets
  ☆371Updated 2 months ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆73Updated this week
• bshlgrs / consciousness
  A software agent illustrating some features of an illusionist account of consciousness
  ☆17Updated 7 years ago
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆78Updated 5 months ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 7 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆128Updated 7 months ago
• Metaculus / metaculus
  ☆82Updated this week
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆134Updated 3 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• meditationstuff / protocol_1
  a meditation protocol
  ☆54Updated 3 months ago
• superb-owl / grothendieck
  ☆25Updated last year
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆171Updated 2 weeks ago
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆152Updated 4 years ago
• Sage-Future / fatebook
  The fastest way to make and track predictions
  ☆50Updated 3 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆117Updated this week
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆78Updated 6 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated 3 weeks ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• prathyvsh / formal-systems-in-biology
  Application of formal systems to model biological systems
  ☆488Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago