ERC20 in K
☆49Apr 25, 2019Updated 7 years ago
Alternatives and similar repositories for erc20-semantics
Users that are interested in erc20-semantics are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Jul 20, 2023Updated 2 years ago
- ☆14Jan 21, 2019Updated 7 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆579Apr 22, 2026Updated last week
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Smart contracts which are formally verified☆744Aug 28, 2022Updated 3 years ago
- Contracts written in LLL for Ethereum.☆26Feb 5, 2019Updated 7 years ago
- All *.sol files from github in a single repo☆17Apr 11, 2018Updated 8 years ago
- Symbolic virtual machine for Ethereum☆69May 29, 2018Updated 7 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Jun 14, 2019Updated 6 years ago
- Spankchain PoC implementation of generalized state channels☆156May 26, 2018Updated 7 years ago
- K framework proof explorer & smart contract specification format☆124Aug 11, 2021Updated 4 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Mar 24, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- ☆43Apr 2, 2018Updated 8 years ago
- ☆20Jun 9, 2023Updated 2 years ago
- A 'Good first' Ethereum and Web3 issues explorer to make your first open-source contribution☆12Apr 11, 2023Updated 3 years ago
- Javascript module with stealth implementation compatible with bitcoinjs-lib☆31Oct 26, 2014Updated 11 years ago
- Formal specification and verification of Vyper☆25Updated this week
- A java port of the MicroRaiden project: https://github.com/raiden-network/microraiden☆10May 4, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Front-end for Christain Lundkvist's Simple MultiSig Wallet☆11Apr 3, 2018Updated 8 years ago
- golang implementation of the CoralDHT protocol☆16Sep 10, 2018Updated 7 years ago
- ☆12Oct 27, 2017Updated 8 years ago
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 6 years ago
- ☆21Dec 7, 2020Updated 5 years ago
- ☆12Dec 26, 2018Updated 7 years ago
- A wargame based on OpenZeppelin's Ethernaut☆12Feb 7, 2018Updated 8 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Oct 26, 2018Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An LLL-based smart contract function dispatcher and example contract.☆47Jan 24, 2017Updated 9 years ago
- A DNSSEC oracle for Ethereum☆61Dec 30, 2022Updated 3 years ago
- Compile solidity-code faster, easier and more reliable☆48Nov 30, 2018Updated 7 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- The first native Peepeth Client (Unofficial)☆23Oct 23, 2018Updated 7 years ago
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆52Dec 3, 2022Updated 3 years ago
- ☆20Jun 25, 2019Updated 6 years ago