as1ndu / vscode-scilla
VS Code support for Scilla
☆11Updated 2 years ago
Alternatives and similar repositories for vscode-scilla:
Users that are interested in vscode-scilla are comparing it to the libraries listed below
- ☆20Updated 6 years ago
- Documentation for Scilla☆17Updated last year
- Zilliqa Reference Contracts☆40Updated 4 months ago
- 💡An interactive tutorial for people to learn Scilla through a gamification process.☆18Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Zilliqa Improvement Proposal☆22Updated 4 months ago
- This repository is the central portal that collates together the contracts, documentations around them, unit tests, and scripts to deploy…☆19Updated last year
- Zilliqa Python API☆17Updated 2 years ago
- Resources for Tezos Developers☆35Updated 5 years ago
- Random research and simulations☆16Updated 5 years ago
- Remix Vyper Plugin☆18Updated 4 years ago
- Blockchain data analytics tool☆32Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Example code leveraging a simple one-way payment channel☆34Updated 6 years ago
- [Readme and Documentation WIP] - Prototype lightning implementation on Ethereum, with lnd interop. Supports BOLT#1 and BOLT#2.☆12Updated 3 years ago
- ☆18Updated 5 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- Schematic of the Ethereum 2.0 Beacon Chain specification☆51Updated 5 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Vyper support for VS Code (alpha)☆20Updated 6 years ago
- StraitsX-tokens, fiat tokens in different smart contract languages☆25Updated last year
- A zkSNARK tutorial and development environment☆16Updated 6 years ago
- A linting utility for Ethereum solidity smart-contracts☆37Updated 8 years ago
- Chronos - Ethereum Alarm Clock DApp☆49Updated 4 years ago