wasabipesto / themisLinks
How accurate are prediction markets?
☆26Updated 3 weeks ago
Alternatives and similar repositories for themis
Users that are interested in themis are comparing it to the libraries listed below
Sorting:
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- Simple utility for generating boilerplate Solidity contracts☆35Updated 9 months ago
- ☆68Updated 2 years ago
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆46Updated 9 months ago
- ☆21Updated 4 years ago
- ☆20Updated 2 years ago
- Awesome Prediction Markets☆76Updated 2 years ago
- ☆71Updated this week
- Ray tracing on the Ethereum Virtual Machine☆105Updated 7 years ago
- ☆41Updated 3 years ago
- Data & code accompanying Paradigm's How to Raise the Gas Limit post.☆32Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Updated 3 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 4 years ago
- A market-making bot for Manifold's prediction markets☆42Updated last year
- ☆15Updated 3 years ago
- breaking down power perpetuals and concentrated liquidity positions into the greeks☆24Updated 3 years ago
- Decentralized Programmable Data, written in assembly☆33Updated 3 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 3 years ago
- cross-chain ETL tool for EVM chaindata☆32Updated 3 years ago
- A simple and efficient wrapper around the OpenAI API☆29Updated last year
- ☆27Updated 4 years ago
- Python simulation of DeFi Saver Automation.☆26Updated 4 years ago
- ☆21Updated 2 years ago
- Framework for holistic economic modelling and simulation of Uniswap v4 strategies, hooks and pools.☆32Updated last year
- A battleship game using ZKPs☆43Updated 2 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 3 years ago
- 🤖 This project involves developing a Maximal Extractable Value (MEV) agent designed to optimize order execution by matching a set of ord…☆14Updated last year
- [WIP] Rust implementation of the Dark Forest game client☆66Updated 4 years ago
- A toy Cairo VM implementation in Rust™☆72Updated 3 years ago
- a principled blogging platform with modular data storage and parsing, starting on eth l1☆14Updated last year