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?
  ☆25Updated last week
• manifoldmarkets / market-maker
  A market-making bot for Manifold's prediction markets
  ☆40Updated last year
• casesandberg / play-money
  Simple prediction market platform
  ☆37Updated 7 months ago
• CADLabs / radCAD
  A Python framework for designing, testing, and validating complex systems through modelling and simulation.
  ☆109Updated 10 months ago
• valory-xyz / open-aea
  A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors
  ☆73Updated this week
• DamascusGit / nousflash
  hehe
  ☆77Updated 11 months ago
• degregat / awesome-mechanism-design
  A curated list of mechanism design resources and links.
  ☆20Updated 4 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆57Updated last year
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆74Updated 3 months ago
• starkware-libs / formal-proofs
  ☆66Updated last year
• gnosis / prediction-market-agent
  ☆76Updated last month
• reilabs / proven-zk
  A support library for working with zero knowledge cryptography in Lean 4.
  ☆40Updated 2 months ago
• math-inc / strongpnt
  ☆255Updated last month
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆176Updated 9 months ago
• manifoldmarkets / manifold
  Manifold Markets: A market for every question
  ☆455Updated this week
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆132Updated last year
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆38Updated last year
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆75Updated 2 months ago
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆16Updated 5 months ago
• timfduffy / syco-bench
  Benchmark to estimate model sycophancy
  ☆19Updated 5 months ago
• agentcoinorg / predictionprophet
  An AI agent that can predict the future.
  ☆49Updated 3 months ago
• scottviteri / UniversalBackrooms
  A replication of Andy Ayrey's "Backrooms" (https://dreams-of-an-electric-mind.webflow.io/), but runnable with Opus 3, Sonnet 3.5, GPT 4o,…
  ☆110Updated 6 months ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆16Updated last month
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆33Updated last year
• nulven / zk-message-board
  ☆35Updated 3 years ago
• argotorg / solcore
  experimental solidity compiler
  ☆54Updated this week
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆41Updated 4 months ago
• kernel-community / signature-economies
  Signature economies smart contracts
  ☆17Updated last year
• valory-xyz / open-acn
  Open Agent Communication Network - Fork of acn on fetchai/agents-aea
  ☆21Updated 3 weeks ago
• niels-ma / infinite_games
  A subnet dedicated to the prediction of future events.
  ☆33Updated last week