loredanacirstea / taylorLinks
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
☆37Updated 2 weeks ago
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 2 years ago
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Updated 5 years ago
- ☆80Updated 5 years ago
- Simple bonding curve contract based on bancor formula☆86Updated 6 years ago
- Fully automated luxury gay space communism contracts☆76Updated 2 months ago
- Ethereum Virtual Machine implementation☆160Updated 3 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- ☆34Updated 4 years ago
- ⚡ All Fuel javascript utilities and implementations.☆83Updated 2 years ago
- An implementation of Ethereum ERC20 tokens in LLL☆69Updated 8 years ago
- Documentation for the any.sender transaction relaying service☆56Updated 5 years ago
- ☆34Updated 5 years ago
- Genesis is an end-to-end development sandbox and testing platform for Web3 and blockchain-based distributed systems.☆81Updated 2 years ago
- Thinking in code☆65Updated last month
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 2 years ago
- Articles☆20Updated 2 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆81Updated 2 years ago
- 💸 A curated, community compiled list of everywhere you can use the decentralized Dai stablecoin☆77Updated 5 years ago
- Relevant Bonding Curve and Token Contracts☆77Updated 7 years ago
- Welcome to your website on the Ethereum Wide Web☆36Updated 2 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Updated 2 years ago
- This is an open source implementation of quadratic funding, a design for philanthropic and publicly-funded seeding, which allows for opti…☆79Updated 2 years ago
- 👾 Interactive coding challenges to test and apply your knowledge☆74Updated 2 years ago
- 👾 A mutation testing tool for Solidity contracts☆47Updated 7 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆97Updated 7 years ago
- Building a decentralised p2p meta-tx relayer network [MVP] Codename: Harbour ## We solved this problem: https://medium.com/tabookey/1-800…☆30Updated 6 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- 📑 Documentation generator for Solidity☆25Updated 3 years ago
- Off-chain services for the Gnosis Protocol v1.☆33Updated 3 years ago