Proof of stake blockchain
☆106Aug 10, 2020Updated 5 years ago
Alternatives and similar repositories for FlyingFox
Users that are interested in FlyingFox are comparing it to the libraries listed below
Sorting:
- The smallest currency I can make☆497Oct 15, 2018Updated 7 years ago
- ☆51Nov 10, 2015Updated 10 years ago
- ☆42Jun 18, 2016Updated 9 years ago
- An EVM code verification framework in Coq☆44Oct 11, 2016Updated 9 years ago
- ☆12Apr 24, 2016Updated 9 years ago
- A merkel tree on the hard drive for a blockchain, written in erlang.☆22Aug 4, 2023Updated 2 years ago
- Sample payment channel using whisper☆34Nov 24, 2015Updated 10 years ago
- Permissioned Distributed Ledger based on Ethereum☆356Jul 14, 2017Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Aug 19, 2015Updated 10 years ago
- Baby ZoE - first step towards Zerocash over Ethereum☆120Nov 1, 2016Updated 9 years ago
- Experimental Ethereum RNG based on PoW☆10Jul 7, 2016Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Sep 14, 2017Updated 8 years ago
- An independent reimplementation of Ethereum in Haskell☆81Jun 25, 2015Updated 10 years ago
- EtherSim is an Ethereum RPC simulator for testing and development purposes☆60Feb 3, 2017Updated 9 years ago
- Implementation of binary Merkle Tree in Elixir☆34Dec 12, 2016Updated 9 years ago
- Implementation of Quake 3 rendering engine in the Ethereum blockchain☆38Jan 25, 2018Updated 8 years ago
- A typed, functional language that targets the EVM.☆55Jan 20, 2017Updated 9 years ago
- ☆121Aug 8, 2016Updated 9 years ago
- Generate several common methods for structs automatically.☆14May 9, 2021Updated 4 years ago
- http://flintjs.com/examples☆17Jan 14, 2016Updated 10 years ago
- ☆19Mar 28, 2017Updated 8 years ago
- Solidity library for checking whether the call stack can be increased by a certain amount.☆11Nov 14, 2015Updated 10 years ago
- Wrapper for node-ipfs-api☆42Aug 30, 2016Updated 9 years ago
- Rust implementation of libbolt☆72Dec 10, 2019Updated 6 years ago
- ☆30Mar 19, 2017Updated 8 years ago
- EVM contract system developer multitool☆300May 13, 2017Updated 8 years ago
- Elixir core library for connecting to bitpay.com☆31Sep 22, 2015Updated 10 years ago
- ☆29Jul 22, 2016Updated 9 years ago
- DataLog meets NoSql☆63Jan 2, 2023Updated 3 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Aug 31, 2016Updated 9 years ago
- ☆18Jul 15, 2017Updated 8 years ago
- Raiden Network☆1,836Mar 28, 2024Updated last year
- Trustless and Decentralized Bitcoin Prediction Marketplace☆379Dec 20, 2024Updated last year
- a deterministic version of JavaScript☆30Jul 15, 2021Updated 4 years ago
- trustlessly trade ethereum for other cryptocurrencies.☆15Mar 11, 2015Updated 10 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Jan 4, 2018Updated 8 years ago
- Testing and deployment framework for Ethereum smart contracts.☆36Sep 19, 2016Updated 9 years ago
- DEPRECATED: Merged into https://github.com/tendermint/tendermint under `abci`☆254Jul 2, 2018Updated 7 years ago
- ☆168Apr 28, 2016Updated 9 years ago