SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆11Updated last month
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?☆16Updated last week
- A market-making bot for Manifold's prediction markets☆37Updated 11 months ago
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- Simple prediction market platform☆27Updated 2 months ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 3 months ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆63Updated 3 months ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆55Updated 3 years ago
- Code to support the guide to logical induction for software engineers☆11Updated 2 months ago
- A curated list of mechanism design resources and links.☆20Updated 4 years ago
- ☆11Updated last year
- Template and tools for authoring and publishing DAO constitutions☆28Updated last year
- A werid system of social credit based on two simple principles: do no harm & play infinitely.☆14Updated last year
- No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)☆13Updated last year
- Awesome Prediction Markets☆53Updated last year
- ☆21Updated 3 years ago
- ☆12Updated 2 years ago
- Decentralized Programmable Data, written in assembly☆33Updated 2 years ago
- breaking down power perpetuals and concentrated liquidity positions into the greeks☆23Updated 3 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 9 months ago
- Notebook Link: https://github.com/BlockScience/Aragon_Conviction_Voting/blob/master/models/v3/Aragon_Conviction_Voting_Model.ipynb☆41Updated 4 years ago
- Haskell implementation of open games☆37Updated 8 months ago
- Toolkit based on cadCAD for performing automated routine tests and future predictions for a GEB deployment☆21Updated 2 years ago
- Bet sizing tool for manifold markets☆19Updated last year
- ☆59Updated 7 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆26Updated this week
- CLI & Library for interacting with https://fractional.art/☆22Updated 3 years ago
- ☆13Updated 2 years ago
- Verify Cairo contracts in Lean 4☆14Updated 2 weeks ago
- Code for Dynamic Pricing for Non-fungible Resources☆16Updated 2 years ago