Neroysq / VyperFlowLinks
A next-generation secure smart contract language for Ethereum.
☆13Updated 7 years ago
Alternatives and similar repositories for VyperFlow
Users that are interested in VyperFlow are comparing it to the libraries listed below
Sorting:
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Status codes for Ethereum smart contracts☆10Updated 7 years ago
- Solidity Parser for Solium☆29Updated 2 years ago
- Some random notes by chriseth☆19Updated 10 months ago
- 👘 Opening the kimono one time-lock at a time☆31Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago
- An implementation of Darknode smart contracts, written in Solidity☆85Updated 2 years ago
- ERC20 in K☆49Updated 6 years ago
- Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!☆109Updated 2 years ago
- 👾 Interactive coding challenges to test and apply your knowledge☆74Updated 2 years ago
- Ethereum Virtual Machine implemented in TypeScript☆92Updated 7 years ago
- Updatable, unobtrusive Solidity authorization pattern☆141Updated 3 years ago
- Unidirectional payment distribution channel with monotonically increasing balances (now obsolete)☆38Updated 4 years ago
- Official repo of the EVM LLVM project☆104Updated 3 years ago
- Notes and stuff related to the study group☆15Updated 8 years ago
- Official repo: https://github.com/ensdomains/ens-subgraph☆24Updated 5 years ago
- Single Collateral Dai☆165Updated 3 years ago
- API server for the Ethereum Gasstation☆14Updated 7 years ago
- Solidity Preprocessor☆14Updated 7 years ago
- DID Provider for 3IDs in JavaScript☆62Updated 3 years ago
- The preview version of superfluid protocol.☆36Updated 5 years ago
- A DNSSEC oracle for Ethereum☆61Updated 2 years ago
- Collection of automated on-chain investment strategies☆23Updated 5 years ago
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- Smart-contracts for continuous organizations☆67Updated last week
- The first real-time Solidity debugger☆108Updated last year