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?
  ☆26Updated last week
• manifoldmarkets / market-maker
  A market-making bot for Manifold's prediction markets
  ☆41Updated last year
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆34Updated last year
• socketteer / worldspider
  gpt completions in vscode
  ☆35Updated 2 years ago
• casesandberg / play-money
  Simple prediction market platform
  ☆39Updated 9 months ago
• quantified-uncertainty / metaforecast
  Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.
  ☆66Updated 10 months ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆37Updated 5 months ago
• network-goods-institute / negation-game
  Challenge, Rethink, Ascend
  ☆18Updated this week
• valory-xyz / open-aea
  A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors
  ☆74Updated last month
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆14Updated 3 years ago
• StampyAI / stampy-chat
  Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset
  ☆15Updated 3 weeks ago
• degregat / awesome-mechanism-design
  A curated list of mechanism design resources and links.
  ☆20Updated 4 years ago
• cosmicoptima / loom
  A Loom implementation in Obsidian
  ☆312Updated 9 months ago
• ActiveInferenceInstitute / ActiveBlockference
  ☆31Updated 2 years ago
• cadCAD-org / cadcad-ri
  The Reference Implementation
  ☆20Updated last year
• 1rgs / token-trekker-rs
  ☆13Updated 2 years ago
• CADLabs / radCAD
  A Python framework for designing, testing, and validating complex systems through modelling and simulation.
  ☆110Updated last year
• kernel-community / signature-economies
  Signature economies smart contracts
  ☆17Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆183Updated 10 months ago
• D8-X / perpetual-simulation
  ☆12Updated last year
• valory-xyz / trader
  Trader agent for AI prediction markets on Gnosis
  ☆62Updated this week
• niels-ma / infinite_games
  A subnet dedicated to the prediction of future events.
  ☆33Updated last month
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆56Updated last year
• verifereum / verifereum
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆29Updated this week
• nickkeesG / Pantheon
  Experimental LLM interface exploring new ways to use AI to improve human thinking
  ☆19Updated 9 months ago
• timfduffy / syco-bench
  Benchmark to estimate model sycophancy
  ☆19Updated 3 weeks ago
• math-inc / strongpnt
  ☆269Updated 3 months ago
• starkware-libs / formal-proofs
  ☆67Updated last year
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆16Updated 6 months ago
• Sage-Future / fatebook
  The fastest way to make and track predictions
  ☆52Updated 2 months ago