Alternatives and similar repositories for manifold:

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

• ForumMagnum / ForumMagnum
  The development repository for LessWrong2 and the EA Forum, based on Vulcan JS
  ☆627Updated this week
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 6 months ago
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆682Updated this week
• bcongdon / PyManifold
  Python API client for Manifold Markets
  ☆15Updated 2 years ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆64Updated 2 months ago
• redwoodresearch / mlab
  Machine Learning for Alignment Bootcamp
  ☆72Updated 3 years ago
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆183Updated last week
• mwhea / Manifold_Trading_Bots
  ☆14Updated last year
• Sage-Future / fatebook
  The fastest way to make and track predictions
  ☆47Updated 3 weeks ago
• cosmicoptima / loom
  A Loom implementation in Obsidian
  ☆292Updated last month
• Will-Howard / manifolio
  Bet sizing tool for manifold markets
  ☆17Updated last year
• Metaculus / metaculus
  ☆73Updated this week
• effectiveaccelerationism / text-to-banger
  A simple API converting a user's proposed tweet into a veritable banger.
  ☆101Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆436Updated this week
• jonathanpaulson / grabby_aliens
  ☆86Updated 3 years ago
• adelelopez / predict
  Calibrate your predictions. Tighten your debugging feedback loop. See how underconfident or overconfident you are.
  ☆11Updated 8 years ago
• TheExGenesis / community-archive
  An open tweet database and API anyone can build on.
  ☆88Updated 2 weeks ago
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆195Updated last week
• tinygrad / tinybox
  Scripts and environment for the tinybox
  ☆94Updated last year
• callummcdougall / ARENA_2.0
  Resources for skilling up in AI alignment research engineering. Covers basics of deep learning, mechanistic interpretability, and RL.
  ☆211Updated last year
• refcell / run-wild
  Augment GPT-4 Environment Access
  ☆287Updated 2 years ago
• ishan0102 / engblogs
  learn from your favorite tech companies
  ☆165Updated last month
• tinygrad / tinyxxx
  tiny corporation website
  ☆7Updated 2 weeks ago
• manifoldmarkets / manifund
  ☆11Updated this week
• nqureshi / ev-winners
  Semantic search over every Emergent Ventures winner.
  ☆20Updated last month
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• younader / Vesuvius-First-Letters
  ☆134Updated last year
• Socratica-Org / toolbox
  ☆44Updated 8 months ago
• NunoSempere / longnow-for-markdown
  Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))
  ☆20Updated 2 months ago
• NicoleJaneway / ea-software-engineers
  list of projects related to EA Software Engineers
  ☆28Updated last year