wasabipesto / themisLinks
How accurate are prediction markets?
☆22Updated this week
Alternatives and similar repositories for themis
Users that are interested in themis are comparing it to the libraries listed below
Sorting:
- A market-making bot for Manifold's prediction markets☆40Updated last year
- AI Wargamer and Global Risk Simulator☆12Updated 5 months ago
- ☆21Updated 3 years ago
- ☆41Updated 2 years ago
- An unofficial list of Milady Derivatives maintained by the community.☆16Updated 2 months ago
- a principled blogging platform with modular data storage and parsing, starting on eth l1☆12Updated 10 months ago
- ☆16Updated 2 years ago
- Shield your initial Uniswap liquidity from malicious actors☆16Updated 3 years ago
- Banyan's client, BanyanFS+CAR encrypted filesystem packer and metadata handler.☆23Updated last year
- cross-chain ETL tool for EVM chaindata☆32Updated 3 years ago
- ☆68Updated 2 years ago
- Awesome Prediction Markets☆64Updated 2 years ago
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- This is a vim plugin that allows you to simulate rubber duck programming by using the chatGPT API to generate code suggestions and natura…☆53Updated 2 years ago
- ☆40Updated 2 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 3 years ago
- ☆70Updated 2 weeks ago
- hehe☆77Updated 11 months ago
- ☆20Updated 2 years ago
- Framework for holistic economic modelling and simulation of Uniswap v4 strategies, hooks and pools.☆30Updated 10 months ago
- A protocol to create and run internet-native companies☆40Updated 6 months ago
- Python simulation of DeFi Saver Automation.☆26Updated 4 years ago
- breaking down power perpetuals and concentrated liquidity positions into the greeks☆24Updated 3 years ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- Simulation code for a GEB system☆16Updated 3 years ago
- ☆32Updated last year
- Code I wrote for my Master's thesis☆19Updated 2 years 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
- Firn's Solidity smart contracts.☆16Updated last year
- Ray tracing on the Ethereum Virtual Machine☆104Updated 7 years ago