loredanacirstea / taylor
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
☆37Updated last year
Related projects ⓘ
Alternatives and complementary repositories for taylor
- Smart contract implementing fixed point math operations using structs for type checking.☆29Updated 4 years ago
- Random research and simulations☆16Updated 5 years ago
- ☆34Updated 4 years ago
- Tricking frontrunners into doing good☆42Updated last year
- Automatic market maker with batched buy & sell orders☆32Updated last year
- The preview version of superfluid protocol.☆36Updated 4 years ago
- Double the governance, double the fun!☆61Updated 2 years ago
- EVM performance tests for a range of clients☆24Updated 4 years ago
- Start a local test chain with the MakerDAO contracts deployed on it, quickly and easily.☆33Updated 2 years ago
- Brainfuck rollup scaling experiment for fun☆48Updated 3 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 4 years ago
- ☆19Updated 3 years ago
- ☆39Updated 4 years ago
- A protocol for splitting ERC20 tokens into their yield, governance and capital components☆21Updated last year
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…☆36Updated 3 years ago
- CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing☆47Updated 3 years ago
- LearnChannels.org - open source information resource on state channels☆31Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- ☆45Updated 5 years ago
- A simple GUI for compiling and interacting with Vyper contracts.☆43Updated last year
- ☆22Updated last year
- Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…☆50Updated last year
- The Learning Curve smart contracts☆31Updated last year
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Ring signature related implementations for ethereum☆28Updated 3 years ago
- ☆23Updated 3 years ago
- Agent-based simulation environment for PoS Ethereum☆51Updated last year