SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆12Updated 4 months ago
Alternatives and similar repositories for grim
Users that are interested in grim are comparing it to the libraries listed below
Sorting:
- How accurate are prediction markets?☆20Updated this week
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- registry contract with no time to argue☆59Updated 3 years ago
- Base mech☆40Updated this week
- Haskell implementation of open games☆37Updated 11 months ago
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- A curated list of mechanism design resources and links.☆19Updated 4 years ago
- A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors☆72Updated last week
- a zero-knowledge proof-carrying code platform for Lean 4☆45Updated this week
- 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
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆28Updated last week
- experimental solidity compiler☆31Updated this week
- Verify Cairo contracts in Lean 4☆14Updated 3 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last week
- Signature economies smart contracts☆17Updated last year
- ☆61Updated 10 months ago
- A quickstart for the trader agent for AI prediction markets on Gnosis☆75Updated 3 months ago
- hehe☆77Updated 9 months ago
- A market-making bot for Manifold's prediction markets☆40Updated last year
- Athena is a modern, practical language for proof engineering & natural deduction.☆73Updated last month
- private 1inch☆14Updated 2 years ago
- An open benchmark for evaluating smart contracts verification tools.☆14Updated 3 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated last year
- Analysis & simulation repo for DELV☆58Updated 7 months ago
- ☆90Updated 2 years ago
- ☆11Updated last year
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆70Updated 2 years ago
- Supplementary Material to be used with the Certora Prover☆17Updated 3 years ago
- Full spectrum sheaf neural network over arbitrary CW complexes.☆16Updated 2 months ago
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated 2 months ago