globalcitizen / ifex-protocolLinks
Internet Financial EXchange (IFEX) Protocol
☆19Updated 7 years ago
Alternatives and similar repositories for ifex-protocol
Users that are interested in ifex-protocol are comparing it to the libraries listed below
Sorting:
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Original position paper and white paper for Tezos☆38Updated 7 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 8 years ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- This project is being merged into Bitauth CLI:☆37Updated 6 years ago
- Grin transaction data corresponding to research on transaction linkability☆53Updated 5 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 4 years ago
- Zepio | ZEC Wallet☆41Updated 5 years ago
- 6.858 final project.☆18Updated 9 years ago
- Decentralized monetary trust network☆32Updated 8 years ago
- EVM Bytecode Super Optimizer☆36Updated 4 years ago
- Grin Requests for Comments☆37Updated 2 years ago
- GitHub -> IPFS mirroring☆28Updated 8 years ago
- Ledger HW.1 Python API☆67Updated 2 years ago
- tezblock is a block explorer for Tezos.☆29Updated 2 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- This repository has been replaced by https://github.com/LedgerHQ/ledger-secure-sdk/. Please read the new repository README for more infor…☆18Updated 2 years ago
- A command line tool and shell to manage keycards☆53Updated last month
- A Generalised Market Framework for Ethereum☆16Updated 10 years ago
- Unofficial SDK for Pinata IPFS pinning service☆27Updated 6 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- ☆79Updated 5 years ago
- A Python implementation of the Crypto-Conditions spec☆72Updated 2 years ago
- Compiler for BitML☆27Updated 3 years ago
- ☆25Updated 2 years ago
- Sample Applications for Ledger Nano S and Ledger Blue☆55Updated 5 years ago
- Swap without intermediation peer-to-peer, cross chain☆51Updated last year
- documentation, justification, and potential use-cases of the Amoveo blockchain.☆25Updated 11 months ago
- (Aragon 1) Generate an Aragon environment☆20Updated 2 years ago