loredanacirstea / taylorLinks
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
☆37Updated last month
Alternatives and similar repositories for taylor
Users that are interested in taylor are comparing it to the libraries listed below
Sorting:
- A simple GUI for compiling and interacting with Vyper contracts.☆41Updated 3 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Updated 5 years ago
- ☆81Updated 5 years ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 3 years ago
- ☆27Updated 2 years ago
- Simple bonding curve contract based on bancor formula☆86Updated 7 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- Ethereum Virtual Machine implementation☆160Updated 3 years ago
- RLP encoding in Solidity☆27Updated 2 years ago
- Fully automated luxury gay space communism contracts☆76Updated 2 weeks ago
- ☆35Updated 4 years ago
- ⚡ All Fuel javascript utilities and implementations.☆82Updated 2 years ago
- Verify Estonian e-id signatures on Ethereum☆62Updated 3 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 3 years ago
- This repository contains a tutorial on how to build roll_up with Circom☆81Updated 6 years ago
- ☆34Updated 5 years ago
- ☆20Updated 4 years ago
- ☆80Updated 2 years ago
- Ethereum's Venture DAO☆84Updated 5 years ago
- Very small Ethereum signer and verifier☆37Updated 5 years ago
- General Purpose Atomic Crosschain Transaction Protocol☆85Updated last year
- Robust Incentives Group☆133Updated 8 months ago
- Genesis is an end-to-end development sandbox and testing platform for Web3 and blockchain-based distributed systems.☆81Updated 2 years ago
- Implementation of elliptic curve operations on G2 for alt_bn128 in Solidity.☆57Updated last year
- Brainfuck rollup scaling experiment for fun☆49Updated 4 years ago
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆170Updated 3 years ago
- Dai Stablecoin System☆122Updated 5 years ago
- A judicial inquiry into your transactions 🧑⚖️☆47Updated 3 years ago
- Random research and simulations☆16Updated 6 years ago
- Articles☆20Updated 2 years ago