as1ndu / vscode-scilla
VS Code support for Scilla
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for vscode-scilla
- ☆20Updated 5 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 4 years ago
- Documentation for Scilla☆17Updated last year
- Zilliqa Improvement Proposal☆22Updated 3 months ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- FVyper: A collection of useful Vyper contracts developed with formal methods☆55Updated 3 years ago
- This repository is the central portal that collates together the contracts, documentations around them, unit tests, and scripts to deploy…☆19Updated last year
- 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
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- Zilliqa Reference Contracts☆40Updated 2 months ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- A zkSNARK tutorial and development environment☆16Updated 6 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆45Updated 4 years ago
- Execution environment for managing shard ether☆24Updated 4 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 5 years ago
- OVM specs & contracts☆36Updated last year
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- 💡An interactive tutorial for people to learn Scilla through a gamification process.☆18Updated 3 years ago
- Implementation of the Perun protocol☆49Updated 4 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- ☆18Updated 5 years ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- Schematic of the Ethereum 2.0 Beacon Chain specification☆51Updated 5 years ago
- M O N O R E P O☆69Updated last year
- Random research and simulations☆16Updated 5 years ago
- Cross-chain relays :)☆54Updated last year
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 5 years ago