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 9 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Jul 20, 2023Updated 3 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆594Sep 28, 2026Updated last week
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- Smart contracts which are formally verified☆746Aug 28, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implementation of a max heap in solidity for Plasma MVP implementation☆11Nov 15, 2018Updated 7 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Jun 14, 2019Updated 7 years ago
- Symbolic virtual machine for Ethereum☆67May 29, 2018Updated 8 years ago
- Spankchain PoC implementation of generalized state channels☆156May 26, 2018Updated 8 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 8 years ago
- K framework proof explorer & smart contract specification format☆126Aug 11, 2021Updated 5 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Mar 24, 2022Updated 4 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated 2 years ago
- All *.sol files from github in a single repo☆17Apr 11, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 8 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- ☆43Apr 2, 2018Updated 8 years ago
- ☆20Jun 9, 2023Updated 3 years ago
- Javascript module with stealth implementation compatible with bitcoinjs-lib☆31Oct 26, 2014Updated 11 years ago
- A java port of the MicroRaiden project: https://github.com/raiden-network/microraiden☆10May 4, 2018Updated 8 years ago
- Front-end for Christain Lundkvist's Simple MultiSig Wallet☆11Apr 3, 2018Updated 8 years ago
- ☆12Oct 27, 2017Updated 8 years ago
- An LLL-based smart contract function dispatcher and example contract.☆47Jan 24, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 7 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆21Oct 26, 2018Updated 7 years ago
- Contracts used in context of the WallETH project☆12Jun 19, 2018Updated 8 years ago
- A wargame based on OpenZeppelin's Ethernaut☆12Feb 7, 2018Updated 8 years ago
- ☆21Dec 7, 2020Updated 5 years ago
- ☆12Dec 26, 2018Updated 7 years ago
- Compile solidity-code faster, easier and more reliable☆48Nov 30, 2018Updated 7 years ago
- ShareLock: mixing for cryptocurrencies from multiparty ECDSA☆52Dec 3, 2022Updated 3 years ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- A DNSSEC oracle for Ethereum☆61Dec 30, 2022Updated 3 years ago
- ☆22Jun 29, 2020Updated 6 years ago
- ☆20Jun 25, 2019Updated 7 years ago
- The first native Peepeth Client (Unofficial)☆23Oct 23, 2018Updated 7 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 8 years ago
- A 'Good first' Ethereum and Web3 issues explorer to make your first open-source contribution☆12Apr 11, 2023Updated 3 years ago