SentinelTeam / grimLinks
AI Wargamer and Global Risk Simulator
☆11Updated 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?☆18Updated 3 weeks ago
- Haskell implementation of open games☆37Updated 8 months ago
- A curated list of mechanism design resources and links.☆20Updated 4 years ago
- A market-making bot for Manifold's prediction markets☆37Updated 11 months ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆33Updated last year
- Python tools for working with Manifold Markets☆35Updated this week
- gpt completions in vscode☆34Updated 2 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆64Updated 4 months ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆16Updated 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
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆44Updated last year
- A formal verification of Linear PCP SNARKs.☆53Updated 11 months ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Updated 3 months ago
- Code to support the guide to logical induction for software engineers☆11Updated 3 months ago
- ☆60Updated 7 months ago
- Haskell implementation of open games☆168Updated 4 months ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆187Updated 3 weeks ago
- A werid system of social credit based on two simple principles: do no harm & play infinitely.☆14Updated last year
- The Reference Implementation☆18Updated last year
- The fastest way to make and track predictions☆48Updated 2 weeks ago
- Prove functional correctness of Ethereum smart contracts in higher-order logic☆27Updated this week
- Verify Cairo contracts in Lean 4☆14Updated last month
- 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,…☆106Updated last month
- Interactive formal verification tool for Yul programs☆65Updated this week
- Simple prediction market platform☆27Updated 3 months ago
- LessWrong Ebook Library☆41Updated 2 years ago
- A simple scripting language that compiles to Nock.☆40Updated last week
- ☆77Updated this week
- memetics and the meta-meme☆8Updated last year
- A Python framework for designing, testing, and validating complex systems through modelling and simulation.☆107Updated 6 months ago