ERC20 in K
☆49Apr 25, 2019Updated 6 years ago
Alternatives and similar repositories for erc20-semantics
Users that are interested in erc20-semantics are comparing it to the libraries listed below
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
- All *.sol files from github in a single repo☆17Apr 11, 2018Updated 7 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Jun 14, 2019Updated 6 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆556Feb 11, 2026Updated 2 weeks ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- The first native Peepeth Client (Unofficial)☆23Oct 23, 2018Updated 7 years ago
- Spankchain PoC implementation of generalized state channels☆155May 26, 2018Updated 7 years ago
- Smart contracts which are formally verified☆744Aug 28, 2022Updated 3 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- ☆12Oct 27, 2017Updated 8 years ago
- A java port of the MicroRaiden project: https://github.com/raiden-network/microraiden☆10May 4, 2018Updated 7 years ago
- Identicon implementation in Rust☆11Aug 7, 2023Updated 2 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- Front-end for Christain Lundkvist's Simple MultiSig Wallet☆11Apr 3, 2018Updated 7 years ago
- A 'Good first' Ethereum and Web3 issues explorer to make your first open-source contribution☆12Apr 11, 2023Updated 2 years ago
- Blacklisting tools for ENS☆13Aug 7, 2018Updated 7 years ago
- ☆13Jan 21, 2019Updated 7 years ago
- An unofficial Hardhat plugin for working with circuits written in Noir☆12May 22, 2023Updated 2 years ago
- Symbolic virtual machine for Ethereum☆69May 29, 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
- ☆22Jun 29, 2020Updated 5 years ago
- Contracts used in context of the WallETH project☆12Jun 19, 2018Updated 7 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 7 years ago
- Implementation of a max heap in solidity for Plasma MVP implementation☆11Nov 15, 2018Updated 7 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Mar 24, 2022Updated 3 years ago
- Java implementation of Discovery v5☆14Updated this week
- A client to bridge two EVM blockchain networks☆12Feb 16, 2018Updated 8 years ago
- ☆13May 21, 2022Updated 3 years ago
- ☆12Dec 26, 2018Updated 7 years ago
- Smart Contract Security Guidelines☆13Mar 8, 2019Updated 6 years ago
- Uncatagorized Solidity examples and snippits☆12Jun 9, 2018Updated 7 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago
- Postables Reusable Multi Party Payment Channel. Efficient, and lean Payment Channels with a dash of airdrops. Written in Solidity with Go…☆30Dec 4, 2021Updated 4 years ago
- Lightning Cross Chain Atomic Swap☆17Apr 1, 2018Updated 7 years ago
- HODLcoin - an ERC20 token that rewards hodlers.☆14Dec 24, 2017Updated 8 years ago
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated last year
- Notes, resources, sessions of barcamp at Droidcon Berlin 2016☆10Jun 16, 2016Updated 9 years ago