SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆12Updated 3 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 2 weeks ago
- ☆15Updated last week
- A market-making bot for Manifold's prediction markets☆38Updated last year
- A subnet dedicated to the prediction of future events.☆30Updated last week
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 6 months ago
- 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
- gpt completions in vscode☆34Updated 2 years ago
- A Loom implementation in Obsidian☆304Updated 4 months ago
- Python tools for working with Manifold Markets☆36Updated last month
- A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors☆72Updated last week
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆107Updated 7 months ago
- Bet sizing tool for manifold markets☆19Updated last year
- Verify Cairo contracts in Lean 4☆14Updated 2 months ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Updated this week
- Manifold Markets: A market for every question☆443Updated this week
- hehe☆77Updated 8 months ago
- 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,…☆107Updated 3 months ago
- Simple prediction market platform☆29Updated 4 months ago
- Base mech☆39Updated this week
- A quickstart for the trader agent for AI prediction markets on Gnosis☆75Updated 2 months ago
- AI Safety Q&A web frontend☆40Updated this week
- An Awesome list for resources on algorithmic game theory☆161Updated 2 years ago
- The Reference Implementation☆18Updated last year
- ☆11Updated last week
- This repo contains tutorials and demos for learning how to use cadCAD. [task: replace this readme with a real one]☆89Updated last year
- An open benchmark for evaluating smart contracts verification tools.☆14Updated 3 months ago
- command loom interface☆108Updated 6 months ago
- An EVM interpreter in Dafny☆131Updated 9 months ago
- Code to support the guide to logical induction for software engineers☆11Updated 4 months ago