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)☆590Updated this 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
- 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.
- Implementation of a max heap in solidity for Plasma MVP implementation☆11Nov 15, 2018Updated 7 years ago
- Symbolic virtual machine for Ethereum☆67May 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☆41Mar 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
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- Solythesis: Securing Smart Contract with Runtime Validation☆13Mar 3, 2023Updated 3 years ago
- ☆20Jun 9, 2023Updated 3 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.
- Javascript module with stealth implementation compatible with bitcoinjs-lib☆31Oct 26, 2014Updated 11 years ago
- golang implementation of the CoralDHT protocol☆16Sep 10, 2018Updated 7 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☆10Apr 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
- 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
- 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.
- ☆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
- 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
- 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 agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 7 years ago
- A 'Good first' Ethereum and Web3 issues explorer to make your first open-source contribution☆12Apr 11, 2023Updated 3 years ago
- Contracts written in LLL for Ethereum.☆26Feb 5, 2019Updated 7 years ago
- Implementation of Security DvP☆24May 17, 2020Updated 6 years ago
- Identicon implementation in Rust☆11Aug 7, 2023Updated 3 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 8 years ago
- Blacklisting tools for ENS☆14Aug 7, 2018Updated 8 years ago