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 / lib-cdm-event-specification-module
  ☆17Updated 2 years ago
• digital-asset-archive / ex-collateral
  An example of collateral management in DAML
  ☆10Updated 4 years ago
• digital-asset-archive / ex-models
  ☆44Updated 3 years ago
• digital-asset-archive / ex-tutorial-nodejs
  An interactive tutorial to get started with the Node.js bindings for DAML
  ☆14Updated 4 months ago
• charles-cooper / peregrine
  EDSL for automated, low-latency trading
  ☆33Updated 7 years ago
• Consensys / quorum-tools
  Tools for running Quorum clusters and integration tests
  ☆51Updated 3 years ago
• digital-asset-archive / ex-bond-trading
  A simple bond trading application
  ☆16Updated 4 months ago
• digital-asset / daml-finance-app
  ☆20Updated 5 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
• kadena-io / masala
  Standalone Ethereum Virtual Machine
  ☆52Updated 3 years ago
• input-output-hk / TreasuryCoin
  An experimental implementation of a treasury system based on Scorex framework
  ☆13Updated 5 years ago
• zchn / ethereum-analyzer
  An Ethereum contract analyzer.
  ☆19Updated 4 months ago
• actusfrf / actus-techspecs
  The ACTUS technical specifications
  ☆24Updated 4 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 5 years ago
• Zilliqa / scilla-coq
  State-Transition Systems for Smart Contracts
  ☆24Updated 4 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆28Updated 3 years ago
• ConsenSysMesh / Fae
  A functional smart contract system
  ☆6Updated 6 years ago
• coinmetrics / haskell-tools
  Tools for exporting blockchain data to analytical databases
  ☆58Updated 3 years ago
• bkirwi / ethereum-haskell
  An independent reimplementation of Ethereum in Haskell
  ☆81Updated 9 years ago
• pirapira / evmverif
  An EVM code verification framework in Coq
  ☆44Updated 8 years ago
• echatav / elliptic
  Elliptic Curve Cryptography in Haskell
  ☆13Updated last year
• HIPERFIT / contracts
  Symbolic financial contract EDSL
  ☆39Updated 4 years ago
• atpar / actus-solidity
  Solidity implementation of ACTUS Contract Types [MOVED]
  ☆12Updated 5 years ago
• digital-asset / canton
  Global Workflow Composition that is Scalable, Secure, and GDPR-compliant
  ☆80Updated last week
• sdiehl / zkp
  A framework to execute and verify algorithms using Groth16 zkSNARKs.
  ☆89Updated 4 years ago
• blockchaintp / daml-on-sawtooth
  daml-on-sawtooth is an integration of the DAML smart contract runtime engine, created and open sourced by Digital Asset, with Hyperledger…
  ☆27Updated last year
• actusfrf / actus-dictionary
  This repository contains the actus dictionary and generation scripts
  ☆20Updated last year
• mmalvarez / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆33Updated 5 years ago
• alphaHeavy / quickfix-hs
  QuickFIX bindings for Haskell
  ☆26Updated 8 years ago