loredanacirstea / taylor
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
☆37Updated 2 years ago
Alternatives and similar repositories for taylor:
Users that are interested in taylor are comparing it to the libraries listed below
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Smart contract implementing fixed point math operations using structs for type checking.☆29Updated 4 years ago
- A simple GUI for compiling and interacting with Vyper contracts.☆43Updated 2 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆83Updated 4 years ago
- ☆77Updated 4 years ago
- ☆45Updated 5 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- Random research and simulations☆16Updated 5 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- ☆27Updated 2 years ago
- Brainfuck rollup scaling experiment for fun☆48Updated 3 years ago
- ☆34Updated 3 years ago
- The preview version of superfluid protocol.☆35Updated 4 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 5 years ago
- Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…☆37Updated 3 years ago
- CLI tool for interacting with smart contracts☆15Updated last year
- Off-chain services for the Gnosis Protocol v1.☆33Updated 2 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- a no-lose lottery with Dai built on Ethereum☆26Updated 5 years ago
- Double the governance, double the fun!☆61Updated 3 years ago
- The Learning Curve smart contracts☆31Updated 2 years ago
- ☆34Updated 4 years ago
- Very small Ethereum signer and verifier☆37Updated 4 years ago
- ☆33Updated 3 weeks ago
- RLP encoding in Solidity☆27Updated last year
- Simple bonding curve contract based on bancor formula☆80Updated 6 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago