The Flint Programming Language for Smart Contracts
☆246Dec 4, 2022Updated 3 years ago
Alternatives and similar repositories for flint
Users that are interested in flint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- basic on the project☆18Apr 12, 2019Updated 6 years ago
- Reference specification for Aragon Chain☆18Jan 14, 2020Updated 6 years ago
- (Deprecated) Proof-of-Stake, EVM-compatible blockchain focused on DAOs☆24Mar 8, 2023Updated 3 years ago
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 2 years ago
- 👾 A mutation testing tool for Solidity contracts☆46Aug 16, 2018Updated 7 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Mar 24, 2022Updated 3 years ago
- CLI tool for interacting with smart contracts☆15Apr 4, 2023Updated 2 years ago
- MetaMask Light Client Development☆225Jun 4, 2019Updated 6 years ago
- Minimal Viable Data Sync Implementation☆13Aug 29, 2023Updated 2 years ago
- 🤙 A blockchain ETL tool to make your life better. Now that’s fuckin’ gnarly.☆119Sep 13, 2018Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 3 years ago
- WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…☆58Aug 28, 2018Updated 7 years ago
- Verify Estonian e-id signatures on Ethereum☆63Feb 28, 2022Updated 4 years ago
- A library for encoding CBOR in Solidity.☆66Sep 27, 2023Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Dec 8, 2018Updated 7 years ago
- Spankchain PoC implementation of generalized state channels☆156May 26, 2018Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago
- The Lorikeet interface toolkit.☆19Mar 11, 2019Updated 7 years ago
- Yoga Token☆17Jun 6, 2024Updated last year
- py.test plugin for testing Ethereum smart contracts☆20Nov 19, 2018Updated 7 years ago
- [ORPHANED] Transcompiles EVM code to eWASM☆108Dec 29, 2018Updated 7 years ago
- A collection of experiments and research artifacts for Aragon Connect.☆13Aug 2, 2020Updated 5 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Jun 8, 2018Updated 7 years ago
- auth_os beta platform build☆19Aug 20, 2018Updated 7 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆131Jul 20, 2023Updated 2 years ago
- Translations of standard contracts from Solidity to Vyper.☆12May 30, 2018Updated 7 years ago
- A distributed remote protocol for git based on IPFS, ethereum and aragonOS☆182Oct 28, 2019Updated 6 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Dec 8, 2022Updated 3 years ago
- Tranquility is an in-development programming language intended to replace Solidity☆18Feb 12, 2022Updated 4 years ago
- Ethereum Virtual Machine Awesome List☆852Feb 26, 2026Updated 3 weeks ago
- A CryptoKitties powered Brainfuck interpreter on Ethereum☆32Oct 19, 2018Updated 7 years ago
- EVM disassembler☆571May 9, 2022Updated 3 years ago
- A step-by-step tutorial on how to write contracts in Wasm for Kovan☆227Jul 11, 2019Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Aug 13, 2021Updated 4 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Sonic implementation in Rust☆17Jun 4, 2019Updated 6 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago