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
- An example of collateral management in DAML☆10Updated 4 years ago
- ☆17Updated 2 years ago
- ☆45Updated 2 years ago
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Updated this week
- An Ethereum contract analyzer.☆18Updated this week
- Symbolic financial contract EDSL☆38Updated 4 years ago
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- Convert regular expressions into efficient matrix branching programs☆11Updated 7 years ago
- Haskell bindings for secp256k1 library☆24Updated last month
- ☆21Updated last month
- A simple bond trading application☆16Updated this week
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- Tools for running Quorum clusters and integration tests☆51Updated 3 years ago
- ☆59Updated 2 years ago
- A QuickBooks Web UI For Communard-Friendly Forms & Reporting☆13Updated 4 years ago
- Render a log of cabal install as a graph☆10Updated 9 years ago
- Haskell interface to BLPAPI☆30Updated 9 years ago
- EDSL for automated, low-latency trading☆32Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 8 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 5 years ago
- ☆12Updated last year
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- DSL for Secure DApps☆33Updated last year
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago