sz-piotr / tranquilityLinks
Tranquility is an in-development programming language intended to replace Solidity
☆18Updated 3 years ago
Alternatives and similar repositories for tranquility
Users that are interested in tranquility are comparing it to the libraries listed below
Sorting:
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆90Updated 5 years ago
- Off-chain services for the Gnosis Protocol v1.☆33Updated 3 years ago
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Updated 4 years ago
- Ewasm API for Rust☆103Updated 4 years ago
- Solaris - Solidity testing framework in Rust.☆56Updated 5 years ago
- Advanced unit testing of solidity contracts in Rust☆12Updated 6 years ago
- basic on the project☆18Updated 6 years ago
- Testbed repo for trying out ideas of what a smart contract API in Rust would look like☆42Updated 6 years ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 2 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Markdown documentation generator for Solidity☆34Updated 3 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 5 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 7 years ago
- Fast and lightweight build tool for Solidity.☆23Updated 2 years ago
- WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…☆57Updated 7 years ago
- ☆15Updated 6 years ago
- Translations of standard contracts from Solidity to Vyper.☆12Updated 7 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Updated 6 years ago
- ☆32Updated 6 years ago
- Universal Offline Signatures☆52Updated 3 years ago
- Capability-based security protocol for smart contracts☆23Updated 2 years ago
- Very small Ethereum signer and verifier☆37Updated 5 years ago
- ☆82Updated 3 years ago
- Ethereum Virtual Machine implementation☆161Updated 3 years ago
- Lunarity - a Solidity parser in Rust☆54Updated 6 years ago
- 💸 A curated, community compiled list of everywhere you can use the decentralized Dai stablecoin☆77Updated 5 years ago
- The Bond API.☆27Updated 6 years ago