Alternatives and similar repositories for grim:

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

• wasabipesto / themis
  A prediction market analysis suite
  ☆12Updated this week
• manifoldmarkets / market-maker
  A market-making bot for Manifold's prediction markets
  ☆37Updated 10 months ago
• minosvasilias / gpt-manifold
  An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.
  ☆32Updated last year
• philipp-zahn / open-games-engine
  Haskell implementation of open games
  ☆36Updated 7 months ago
• vluzko / manifoldpy
  Python tools for working with Manifold Markets
  ☆34Updated 6 months 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
• Metaculus / metaculus
  ☆73Updated this week
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated 2 weeks ago
• socketteer / worldspider
  gpt completions in vscode
  ☆34Updated 2 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆164Updated 3 months ago
• desciglobal / ui
  an overview of decentralized science events and meetups
  ☆15Updated last year
• AthenaFoundation / athena
  Athena is a modern, practical language for proof engineering & natural deduction.
  ☆71Updated 2 weeks ago
• cadCAD-edu / cadCAD-Hacks
  The most comprehensive collection of intermediate level cadCAD methodologies on the web. If you're using cadCAD professionally, this is w…
  ☆15Updated 3 years ago
• pentagonxyz / gov-of-venice
  Double the governance, double the fun!
  ☆61Updated 3 years ago
• kernel-community / signature-economies
  Signature economies smart contracts
  ☆17Updated 9 months ago
• degregat / awesome-mechanism-design
  A curated list of mechanism design resources and links.
  ☆20Updated 4 years ago
• TokenEngineeringCommunity / cadCADStudyGroup
  Repo for cadCad study group resources
  ☆23Updated 2 years ago
• hellwolf / solc.nix
  Providing assorted versions of solidity compilers (solc).
  ☆17Updated last month
• rethinkpriorities / squigglepy
  Squiggle programming language for intuitive probabilistic estimation features in Python
  ☆77Updated 2 weeks ago
• siraben / evm-assembler
  No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)
  ☆13Updated last year
• hellsegga-xyz / 055-contract
  Contracts and Circuits for 055 Artifacts
  ☆10Updated 2 years ago
• 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 …
  ☆37Updated this week
• 0xperp / awesome-prediction-markets
  Awesome Prediction Markets
  ☆50Updated last year
• quantified-uncertainty / squiggle
  This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast
  ☆183Updated this week
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 8 months ago
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆67Updated 2 years ago
• BoltonBailey / formal-snarks-project
  A formal verification of Linear PCP SNARKs.
  ☆53Updated 9 months ago
• D8-X / perpetual-simulation
  ☆11Updated last year
• Sofianel5 / zk-img-editor
  ☆21Updated last year
• reflexer-labs / reflexer-digital-twin
  Toolkit based on cadCAD for performing automated routine tests and future predictions for a GEB deployment
  ☆21Updated 2 years ago