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
Sorting:
- basic on the project☆18Apr 12, 2019Updated 6 years ago
- Cryptographic protocols for Solidity.☆13Aug 6, 2017Updated 8 years ago
- (Deprecated) Proof-of-Stake, EVM-compatible blockchain focused on DAOs☆24Mar 8, 2023Updated 2 years ago
- Reference specification for Aragon Chain☆18Jan 14, 2020Updated 6 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Mar 24, 2022Updated 3 years ago
- 🤙 A blockchain ETL tool to make your life better. Now that’s fuckin’ gnarly.☆119Sep 13, 2018Updated 7 years ago
- Solidity Parser for Solium☆29Apr 17, 2023Updated 2 years ago
- MetaMask Light Client Development☆225Jun 4, 2019Updated 6 years ago
- Spankchain PoC implementation of generalized state channels☆155May 26, 2018Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆46Aug 16, 2018Updated 7 years ago
- Verify Estonian e-id signatures on Ethereum☆63Feb 28, 2022Updated 4 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆34Mar 24, 2022Updated 3 years ago
- CLI tool for interacting with smart contracts☆15Apr 4, 2023Updated 2 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- Cross-chain proofs and atomic transactions☆18Aug 29, 2018Updated 7 years ago
- Tranquility is an in-development programming language intended to replace Solidity☆18Feb 12, 2022Updated 4 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Dec 8, 2018Updated 7 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Dec 8, 2022Updated 3 years ago
- A library for encoding CBOR in Solidity.☆66Sep 27, 2023Updated 2 years ago
- auth_os beta platform build☆19Aug 20, 2018Updated 7 years ago
- Yoga Token☆17Jun 6, 2024Updated last year
- Development of the Raiden Monitoring and Pathfinding Services☆10Mar 7, 2023Updated 2 years ago
- Minimal Viable Data Sync Implementation☆13Aug 29, 2023Updated 2 years ago
- Convert between your Aragon tokens☆14Mar 8, 2023Updated 2 years ago
- A collection of experiments and research artifacts for Aragon Connect.☆13Aug 2, 2020Updated 5 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago
- A distributed remote protocol for git based on IPFS, ethereum and aragonOS☆182Oct 28, 2019Updated 6 years ago
- EVM disassembler☆572May 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
- A zkSNARK implementation of a merkle tree membership preimage proof.☆22May 6, 2019Updated 6 years ago
- 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
- Perigord: Golang Tools for Ethereum Development☆102Aug 20, 2018Updated 7 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Jun 8, 2018Updated 7 years ago
- Connector apps for Aragon Voting☆14Nov 18, 2020Updated 5 years ago
- The source code, implementation spec, and Agreement of the Aragon Network.☆13Jan 22, 2021Updated 5 years ago
- ☆224Aug 30, 2021Updated 4 years ago
- Ethereum Virtual Machine Awesome List☆852Updated this week