wasabipesto / themisLinks
How accurate are prediction markets?
☆25Updated last week
Alternatives and similar repositories for themis
Users that are interested in themis are comparing it to the libraries listed below
Sorting:
- Awesome Prediction Markets☆72Updated 2 years ago
- Investment DAO fund of funds☆29Updated 3 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- ☆68Updated 2 years ago
- A market-making bot for Manifold's prediction markets☆40Updated last year
- Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve☆46Updated 8 months ago
- ☆76Updated 2 weeks ago
- breaking down power perpetuals and concentrated liquidity positions into the greeks☆24Updated 3 years ago
- Framework for holistic economic modelling and simulation of Uniswap v4 strategies, hooks and pools.☆31Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆29Updated 2 years ago
- Python simulation of DeFi Saver Automation.☆26Updated 4 years ago
- Data & code accompanying Paradigm's How to Raise the Gas Limit post.☆33Updated last year
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 3 years ago
- [WIP] Rust implementation of the Dark Forest game client☆66Updated 4 years ago
- ☆21Updated 3 years ago
- Superset of Yul☆17Updated 3 months ago
- ☆41Updated 3 years ago
- Ray tracing on the Ethereum Virtual Machine☆104Updated 7 years ago
- Firn's Solidity smart contracts.☆16Updated last year
- Polymarket's public subgraph manifest for indexing on-chain trade, volume, user, liquidity and market data.☆125Updated 3 months ago
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Updated 2 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆47Updated 4 years ago
- Safeguard is a tool for on-chain Ethereum DAOs to delegate funds to multisigs while keeping some level of control☆44Updated 3 years ago
- A protocol to create and run internet-native companies☆41Updated 8 months ago
- This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Ze…☆85Updated 2 years ago
- cross-chain ETL tool for EVM chaindata☆32Updated 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
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆30Updated 2 years ago
- ☆16Updated 2 years ago
- a principled blogging platform with modular data storage and parsing, starting on eth l1☆13Updated 11 months ago