alexvandesande / Daefen
A library for encoding and decoding large numbers into a pronounceable, high density, string, that uses 3456 syllables as its base.
☆21Updated 6 years ago
Alternatives and similar repositories for Daefen:
Users that are interested in Daefen are comparing it to the libraries listed below
- a JavaScript Implementation of Primea HyperVisor☆42Updated 4 years ago
- Transaction Relay enables transaction fees of Ethereum contracts and transactions to be paid by any Currency☆40Updated 8 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Sample payment channel using whisper☆36Updated 9 years ago
- Financial instruments on the Ethereum blockchain☆19Updated 8 years ago
- Something to play with while we wait☆20Updated 5 years ago
- Pure-solidity implementation of the SHA1 hash function.☆41Updated 2 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- A service to verify your token holdings to gain access. The ethereum version of facebook passport login.☆13Updated 6 years ago
- [DEPRECATED] Incentive layer contracts and deployment information.☆31Updated 6 years ago
- Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification☆44Updated 4 years ago
- minimal rpc wrapper☆28Updated 5 years ago
- Lightweight ENS resolver and library☆25Updated 7 years ago
- Ethereum-Zcash Integration effort☆66Updated 5 years ago
- Fast, efficient, queryable storage for ethereum contracts.☆54Updated 7 years ago
- Notes and stuff related to the study group☆15Updated 7 years ago
- A state channels ICO auction contract.☆23Updated 7 years ago
- Formal specification and reference implementation of Casper☆15Updated 9 years ago
- Ethereum browser client based on ipfs/libp2p☆20Updated 7 years ago
- Admin toolkit for incentive-following software daemons☆19Updated 8 years ago
- Wrapper for node-ipfs-api☆43Updated 8 years ago
- ☆14Updated 8 years ago
- A typed, functional language that targets the EVM.☆55Updated 8 years ago
- Here I started by writing a very basic smart contract, analysed how it can be made better and repeat the cycle until we have a system of …☆18Updated 8 years ago
- Multisig with a command-line interface☆22Updated 6 years ago
- Continuous Splitting Token Auction☆21Updated 3 years ago
- JavaScript Implementation of All Ethereum IPLD formats☆40Updated 3 years ago
- Specification for an Insurable Crypto Wallet☆27Updated 7 years ago