wasabipesto / themis
A prediction market calibration suite
☆10Updated last week
Related projects ⓘ
Alternatives and complementary repositories for themis
- term rewrite system for bootstrapping languages☆9Updated 2 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated last year
- Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr☆28Updated last year
- A Prolog engine written in Solidity.☆16Updated 2 years ago
- Generate high-volume state contention on EVM-like networks.☆18Updated this week
- ZK Theorem Proving☆12Updated 3 months ago
- Assembly implementation of EIP-4788 system contract.☆21Updated 2 months ago
- ☆21Updated last year
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20Updated last year
- Opyn Grant Proposals☆11Updated 2 years ago
- ☆14Updated last year
- a rust SDK for the gelato relay, using ethers-rs☆30Updated last year
- An Ethereum transaction-parser☆13Updated 11 months ago
- Official Foundry landing page☆16Updated last year
- Go library to access the blockchain state of Go-ethereum☆16Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆30Updated last month
- A tool for single Ethereum archival block state proofs.☆33Updated last year
- A microscopic markdown blogging tool☆12Updated last year
- wall time exex for reth☆10Updated 3 months ago
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- Contracts and Circuits for 055 Artifacts☆10Updated 2 years ago
- Caching sparse Merkle Patricia Trie for reth.☆14Updated last month
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated 9 months ago
- Code for Dynamic Pricing for Non-fungible Resources☆15Updated 2 years ago
- Stablecoin AMM for Starknet☆14Updated 2 years ago
- My playgrounderino for starkneterino☆13Updated 2 years ago
- Simple rust interface to get derived analytical information of algorithmic market making models (M3).☆12Updated last year
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated last year