SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆12Updated 2 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?☆19Updated last month
- ☆13Updated this week
- A market-making bot for Manifold's prediction markets☆37Updated last year
- The Reference Implementation☆18Updated last year
- A curated list of mechanism design resources and links.☆19Updated 4 years ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆107Updated 6 months ago
- Python tools for working with Manifold Markets☆36Updated 3 weeks ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆18Updated 4 months ago
- gpt completions in vscode☆34Updated 2 years ago
- A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors☆72Updated this week
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆13Updated 3 years ago
- This repo contains tutorials and demos for learning how to use cadCAD. [task: replace this readme with a real one]☆89Updated 11 months ago
- Haskell implementation of open games☆170Updated 5 months ago
- Giving people the ability to easily simulate their own custom Commons with cadCAD☆35Updated 2 years ago
- ☆12Updated 2 years ago
- layers and layers☆8Updated 2 years ago
- Template and tools for authoring and publishing DAO constitutions☆29Updated last year
- registry contract with no time to argue☆59Updated 2 years ago
- ☆56Updated this week
- Notebook Link: https://github.com/BlockScience/Aragon_Conviction_Voting/blob/master/models/v3/Aragon_Conviction_Voting_Model.ipynb☆40Updated 4 years ago
- A werid system of social credit based on two simple principles: do no harm & play infinitely.☆14Updated last year
- ☆13Updated 2 years ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆20Updated 10 months ago
- Signature economies smart contracts☆18Updated 11 months ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆27Updated 2 weeks ago
- ☆13Updated 2 years ago
- A quickstart for the trader agent for AI prediction markets on Gnosis☆75Updated last month
- Awesome Prediction Markets☆55Updated last year
- hehe☆77Updated 8 months ago