wasabipesto / themis
A prediction market calibration suite
☆10Updated 2 months ago
Alternatives and similar repositories for themis:
Users that are interested in themis are comparing it to the libraries listed below
- No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)☆13Updated last year
- Ethers-rs CCIP-Read Middleware☆23Updated last year
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated 2 years ago
- DRAI: Dollar-Pegged RAI☆13Updated 9 months ago
- Historical L1Block snapshotter for OP Stack chains☆16Updated last year
- Simple way to track the mcd changelog on-chain.☆13Updated last year
- Simple rust interface to get derived analytical information of algorithmic market making models (M3).☆12Updated last year
- term rewrite system for bootstrapping languages☆9Updated 2 years ago
- A thought experiment on how an in-game barter system could be implemented with the help of zero-knowledge proofs☆19Updated 3 years ago
- ☆15Updated 3 weeks ago
- Contracts and Circuits for 055 Artifacts☆10Updated 2 years ago
- An unofficial list of Milady Derivatives maintained by the community.☆14Updated last month
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Updated 2 years ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- breaking down power perpetuals and concentrated liquidity positions into the greeks☆22Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- Smart contract that checks if the SELFDESTRUCT opcode is still valid on the chain it is deployed to☆29Updated 2 years ago
- GobblerLend☆9Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- umswap - "Like WETH, but for ERC-721s"☆15Updated last year
- Stablecoin AMM for Starknet☆14Updated 2 years ago
- ZK Theorem Proving☆10Updated 5 months ago
- An Ethereum transaction-parser☆14Updated last year
- Moving to the new Arbiter framework to test Portfolio.☆10Updated last year
- A Maple flavored proxy factory☆12Updated 3 months ago
- Assembly implementation of EIP-4788 system contract.☆22Updated 5 months ago
- ☆21Updated last year
- Wordle Game Implemented with Optimint☆14Updated 9 months ago
- It's Uniswap in a Box!☆13Updated 3 years ago