Alternatives and similar repositories for grim

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

• wasabipesto / themis
  How accurate are prediction markets?
  ☆21Updated 3 weeks ago
• manifoldmarkets / market-maker
  A market-making bot for Manifold's prediction markets
  ☆39Updated last year
• niels-ma / infinite_games
  A subnet dedicated to the prediction of future events.
  ☆31Updated last week
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆33Updated last year
• socketteer / worldspider
  gpt completions in vscode
  ☆35Updated 2 years ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆36Updated 3 months ago
• degregat / awesome-mechanism-design
  A curated list of mechanism design resources and links.
  ☆19Updated 4 years ago
• timfduffy / syco-bench
  Benchmark to estimate model sycophancy
  ☆19Updated 4 months ago
• valory-xyz / open-aea
  A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors
  ☆72Updated 2 weeks ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆14Updated 3 years ago
• StampyAI / stampy-ui
  AI Safety Q&A web frontend
  ☆41Updated this week
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆65Updated 7 months ago
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆38Updated 11 months ago
• kernel-community / signature-economies
  Signature economies smart contracts
  ☆17Updated last year
• valory-xyz / mech
  Base mech
  ☆40Updated 2 weeks ago
• StampyAI / stampy-chat
  Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset
  ☆15Updated this week
• DamascusGit / nousflash
  hehe
  ☆77Updated 10 months ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year
• argumentcomputer / ix
  a zero-knowledge proof-carrying code platform for Lean 4
  ☆48Updated last week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆175Updated 7 months ago
• hellsegga-xyz / 055-contract
  Contracts and Circuits for 055 Artifacts
  ☆10Updated 3 years ago
• valory-xyz / trader-quickstart
  A quickstart for the trader agent for AI prediction markets on Gnosis
  ☆75Updated 3 months ago
• ActiveInferenceInstitute / ActiveBlockference
  ☆29Updated 2 years ago
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆39Updated last month
• argotorg / solcore
  experimental solidity compiler
  ☆32Updated this week
• socketteer / gitloom
  cli loom that uses git to manage branches
  ☆28Updated 8 months ago
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated 4 months ago
• gnosis / prediction-market-agent
  ☆67Updated 2 weeks ago
• cadCAD-org / cadcad-ri
  The Reference Implementation
  ☆18Updated last year
• manifoldmarkets / manifold
  Manifold Markets: A market for every question
  ☆448Updated this week