Alternatives and similar repositories for ex-cdm-swaps:

Users that are interested in ex-cdm-swaps are comparing it to the libraries listed below

• digital-asset-archive / ex-collateral
  An example of collateral management in DAML
  ☆10Updated 4 years ago
• digital-asset-archive / lib-cdm-event-specification-module
  ☆17Updated 2 years ago
• digital-asset / ex-tutorial-nodejs
  An interactive tutorial to get started with the Node.js bindings for DAML
  ☆14Updated last month
• digital-asset-archive / ex-models
  ☆45Updated 2 years ago
• actusfrf / actus-techspecs
  The ACTUS technical specifications
  ☆24Updated 3 years ago
• digital-asset / ex-bond-trading
  A simple bond trading application
  ☆16Updated last month
• charles-cooper / peregrine
  EDSL for automated, low-latency trading
  ☆32Updated 7 years ago
• digital-asset / daml-finance-app
  ☆21Updated 2 months ago
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 6 years ago
• imandra-ai / contracts
  Imandra Contracts - Formal verification of smart contracts
  ☆32Updated 8 years ago
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆19Updated last month
• JeremyRubin / MAST
  6.858 final project.
  ☆18Updated 9 years ago
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆51Updated 3 years ago
• gstew5 / snarkl
  ☆59Updated 2 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• Consensys / quorum-tools
  Tools for running Quorum clusters and integration tests
  ☆51Updated 3 years ago
• digital-asset / canton
  Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
  ☆76Updated this week
• runtimeverification / iele-semantics
  Semantics of Virtual Machine for IELE prototype blockchain
  ☆132Updated last year
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• CornellBlockchain / bamboo
  Bamboo: a morphing smart contract language
  ☆37Updated 6 years ago
• runtimeverification / algorand-verification
  Formal verification of the Algorand consensus protocol
  ☆26Updated 2 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆74Updated 5 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆27Updated 2 years ago
• input-output-hk / TreasuryCoin
  An experimental implementation of a treasury system based on Scorex framework
  ☆13Updated 5 years ago
• actusfrf / actus-dictionary
  This repository contains the actus dictionary and generation scripts
  ☆20Updated last year
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated 2 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 5 years ago
• RChain-Collaborative-Learning / Introduction-to-the-Design-of-Computational-Calculi
  ☆8Updated 6 years ago
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆38Updated 4 years ago