SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆13Updated 9 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?☆27Updated this week
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆35Updated 2 years ago
- A curated list of mechanism design resources and links.☆23Updated 4 years ago
- A market-making bot for Manifold's prediction markets☆43Updated last year
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆66Updated 11 months ago
- Haskell implementation of open games☆183Updated last year
- Search engine of my Curius data☆15Updated 3 years ago
- ☆292Updated 4 months ago
- Simple prediction market platform☆43Updated 10 months ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Updated last month
- AI Safety Q&A web frontend☆41Updated this week
- A Loom implementation in Obsidian☆322Updated 10 months ago
- Python tools for working with Manifold Markets☆39Updated 7 months ago
- A simulated operating system design for AI Agents to interact with the world☆178Updated last year
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆29Updated last week
- 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,…☆115Updated 8 months ago
- ☆22Updated last year
- A framework for open autonomous economic agent (AEA) development - no package vendor is prioritised over other package vendors☆74Updated 2 weeks ago
- gpt completions in vscode☆35Updated 2 years ago
- A quickstart for the trader agent for AI prediction markets on Gnosis☆76Updated 8 months ago
- Base mech☆39Updated 3 weeks ago
- Full spectrum sheaf neural network over arbitrary CW complexes.☆16Updated 7 months ago
- Signature economies smart contracts☆17Updated last year
- hehe☆77Updated last year
- METR Task Standard☆172Updated last year
- An open benchmark for evaluating smart contracts verification tools.☆16Updated 4 months ago
- ☆45Updated last year
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Updated 7 months ago
- A subnet dedicated to the prediction of future events.☆33Updated 3 months ago
- Challenge, Rethink, Ascend☆19Updated last week