SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆12Updated 7 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?☆25Updated last week
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆34Updated last year
- A market-making bot for Manifold's prediction markets☆40Updated last year
- Haskell implementation of open games☆38Updated last year
- Manifold Markets: A market for every question☆460Updated last week
- A subnet dedicated to the prediction of future events.☆33Updated last month
- Simple prediction market platform☆38Updated 8 months ago
- A Loom implementation in Obsidian☆313Updated 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,…☆111Updated 6 months ago
- AI Safety Q&A web frontend☆41Updated this week
- Signature economies smart contracts☆17Updated last year
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Updated this week
- 🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”☆14Updated 3 years ago
- gpt completions in vscode☆35Updated 2 years ago
- A curated list of mechanism design resources and links.☆20Updated 4 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆201Updated last week
- Bet sizing tool for manifold markets☆20Updated 2 years ago
- Open notebook for my research in culture science☆79Updated 8 months ago
- Haskell implementation of open games☆180Updated 10 months ago
- Verify Cairo contracts in Lean 4☆16Updated 6 months ago
- hehe☆77Updated last year
- ☆22Updated last year
- A simulated operating system design for AI Agents to interact with the world☆176Updated 11 months ago
- Tools to benchmark, deploy and monitor prediction market agents.☆49Updated last week
- ☆76Updated 2 weeks ago
- A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors☆73Updated 3 weeks ago
- Challenge, Rethink, Ascend☆16Updated this week
- A formal verification of Linear PCP SNARKs.☆56Updated last year
- ☆262Updated 2 months ago
- cli loom that uses git to manage branches☆29Updated 10 months ago