flintlang / flintLinks
The Flint Programming Language for Smart Contracts
☆249Updated 2 years ago
Alternatives and similar repositories for flint
Users that are interested in flint are comparing it to the libraries listed below
Sorting:
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- Gnosis Safe is a multi signature (2FA) wallet for personal usage.☆43Updated 4 years ago
- The first real-time Solidity debugger☆108Updated last year
- Upgradeable smart contracts on Ethereum☆105Updated 7 years ago
- [ORPHANED] Transcompiles EVM code to eWASM☆109Updated 6 years ago
- The start page about my efforts around smart contract verification☆296Updated 3 years ago
- ☆42Updated 4 years ago
- MetaMask Light Client Development☆225Updated 6 years ago
- Hera: Ewasm virtual machine conforming to the EVMC API☆184Updated 2 years ago
- Superblocks Lab for DApp development☆100Updated 2 years ago
- A step-by-step tutorial on how to write contracts in Wasm for Kovan☆227Updated 6 years ago
- (OLD REPO) The command-line Ethereum army knife by DappHub☆147Updated 6 years ago
- Moon-Browser was a browser for decentralized applications in 2016☆81Updated 2 years ago
- Chanterelle -- a more functional truffle☆80Updated 9 months ago
- Home for all packages related to the Counterfactual project☆186Updated 5 years ago
- Compile solidity-code faster, easier and more reliable☆50Updated 6 years ago
- A curated collection of resources on smart contract programming languages☆249Updated 2 years ago
- ☆319Updated 5 years ago
- A protocol to generate simple open financial applications.☆59Updated 7 years ago
- Implementation of the Perun protocol☆49Updated 5 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 7 years ago
- [DEPRECATED] On-chain interpreter for WebAssembly written in Solidity☆67Updated 5 years ago
- ☆229Updated 6 years ago
- Ethereum Payment Channel in 50 lines of code☆206Updated last year
- Scientists are SHOCKED by how easy it is to disrupt a $550B industry with this one weird trick!☆109Updated last year
- Native iOS and MacOS Swift wrapper for Geth (Go Ethereum)☆87Updated 7 years ago
- A crowdsale mechanism optimizing price discovery information for buyers☆93Updated 2 years ago
- 📑 Documentation Generator for Solidity☆213Updated 3 years ago
- K framework proof explorer & smart contract specification format☆124Updated 4 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 5 years ago