digital-asset-archive / ex-cdm-swaps
☆12Updated 4 years ago
Alternatives and similar repositories for ex-cdm-swaps
Users that are interested in ex-cdm-swaps are comparing it to the libraries listed below
Sorting:
- ☆17Updated 2 years ago
- An example of collateral management in DAML☆10Updated 4 years ago
- ☆45Updated 3 years ago
- EDSL for automated, low-latency trading☆33Updated 7 years ago
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Updated 4 months ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Tools for running Quorum clusters and integration tests☆51Updated 3 years ago
- ☆20Updated 5 months ago
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- An experimental implementation of a treasury system based on Scorex framework☆13Updated 5 years ago
- The ACTUS technical specifications☆24Updated 3 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 4 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 5 years ago
- ☆59Updated 3 years ago
- Fork of the Solidity Compiler for compiling Solidity to IELE☆16Updated 3 years ago
- Haskell interface to BLPAPI☆30Updated 9 years ago
- Icarus, a reference implementation for a lightweight wallet developed by the IOHK Engineering Team.☆13Updated 6 years ago
- A simple bond trading application☆16Updated 4 months ago
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- ☆21Updated 7 years ago
- This repository contains the actus dictionary and generation scripts☆20Updated last year
- A re-implementation of the Cardano ledger layer, replacing the Byron release☆51Updated 4 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Updated 6 years ago
- An Ethereum contract analyzer.☆19Updated 3 months ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆75Updated 5 years ago
- Compiler for BitML☆28Updated 3 years ago
- Shelley cardano-node and cardano-wallet launcher for NodeJS applications☆34Updated last year
- Tools for deploying Quorum clusters to AWS☆34Updated 10 months ago