loredanacirstea / taylorLinks
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
Sorting:
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Updated 5 years ago
- Ethereum Virtual Machine implementation☆161Updated 3 years ago
- A simple GUI for compiling and interacting with Vyper contracts.☆42Updated 2 years ago
- Ethereum's Venture DAO☆84Updated 5 years ago
- ☆45Updated 6 years ago
- Robust Incentives Group☆129Updated 6 months ago
- Fully automated luxury gay space communism contracts☆76Updated last month
- ☆78Updated 2 years ago
- ☆79Updated 5 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆57Updated 10 months ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 7 years ago
- Simple bonding curve contract based on bancor formula☆86Updated 6 years ago
- Thinking in code☆65Updated this week
- 🔮 OPTimistic Interchain Communication☆120Updated this week
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆111Updated 2 years ago
- Yield Protocol v1☆45Updated 2 years ago
- Articles☆20Updated 2 years ago
- Brainfuck rollup scaling experiment for fun☆48Updated 4 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- RLP encoding in Solidity☆27Updated 2 years ago
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆171Updated 3 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated 2 years ago
- Tricking frontrunners into doing good☆42Updated 2 years ago
- ☆33Updated this week
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated 2 years ago
- A Mastermind game using zk-snarks☆168Updated 3 years ago
- Unipool with unrestricted deposit function☆15Updated 2 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆83Updated 6 years ago