loredanacirstea / taylorLinks
Measure twice, cut once. Lisp-like functional language for computable & immutable specifications, interpreted by WebAssembly & the Ethereum Virtual Machine.
☆37Updated 3 months 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
- A simple GUI for compiling and interacting with Vyper contracts.☆41Updated 3 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- ☆82Updated 5 years ago
- Fully automated luxury gay space communism contracts☆76Updated last week
- Articles☆20Updated 2 years ago
- Ethereum Virtual Machine implementation☆161Updated 3 years ago
- Ethereum's Venture DAO☆84Updated 5 years ago
- Welcome to your website on the Ethereum Wide Web☆36Updated 3 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
- Dai Stablecoin System☆122Updated 6 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 7 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
- ☆45Updated 6 years ago
- ➕ A low-level, highly efficient extension to Yul, an intermediate language for the Ethereum Virtual Machine.☆170Updated 3 years ago
- ⚡ All Fuel javascript utilities and implementations.☆82Updated 2 years ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 3 years ago
- Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy☆22Updated 2 years ago
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆109Updated 3 years ago
- 💸 A curated, community compiled list of everywhere you can use the decentralized Dai stablecoin☆77Updated 6 years ago
- Very small Ethereum signer and verifier☆36Updated 5 years ago
- New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau☆135Updated last year
- A Mastermind game using zk-snarks☆167Updated 3 years ago
- Design, test and validate complex systems through simulation in Python☆69Updated 4 years ago
- Simple bonding curve contract based on bancor formula☆86Updated 7 years ago
- Documentation for the any.sender transaction relaying service☆56Updated 5 years ago
- Ethereum plugin for vscode☆49Updated 6 months ago
- Robust Incentives Group☆133Updated 10 months ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Updated 3 years ago