digital-asset / damlView external linksLinks
The Daml smart contract language
☆874Updated this week
Alternatives and similar repositories for daml
Users that are interested in daml are comparing it to the libraries listed below
Sorting:
- Global Workflow Composition that is Scalable, Secure, and GDPR-compliant☆97Feb 6, 2026Updated last week
- ☆45May 15, 2022Updated 3 years ago
- ☆17Nov 29, 2023Updated 2 years ago
- ☆19Feb 6, 2026Updated last week
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Jan 16, 2025Updated last year
- Three examples demonstrating three different approaches to using the Java ledger API bindings☆11Dec 5, 2025Updated 2 months ago
- daml-on-sawtooth is an integration of the DAML smart contract runtime engine, created and open sourced by Digital Asset, with Hyperledger…☆27Feb 21, 2024Updated last year
- ☆17Oct 28, 2022Updated 3 years ago
- The GHC API, decoupled from GHC versions☆162Jan 22, 2026Updated 3 weeks ago
- A Cheat Sheet for DAML☆12May 22, 2025Updated 8 months ago
- DAML library for integration with Ethereum (driven using DAML's Java bindings, web3j, ethereumj and Infura)☆11Dec 5, 2023Updated 2 years ago
- Reference applications for funding, operating, and incentivizing the use of a decentralized, public Canton synchronizer. Includes the Amu…☆64Updated this week
- A library for building Haskell IDE tooling☆581Dec 30, 2020Updated 5 years ago
- Orion is a PegaSys component for doing private transactions☆90Dec 21, 2021Updated 4 years ago
- Haskell rules for Bazel.☆279Feb 5, 2026Updated last week
- ☆24Feb 5, 2026Updated last week
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated 10 months ago
- ☆14Feb 6, 2026Updated last week
- HACERA's work with Digital Asset on enabling DAML applications to run on Hyperledger Fabric☆27Jun 4, 2020Updated 5 years ago
- A simple bond trading application☆17Jan 16, 2025Updated last year
- Generically derive traversals, lenses, and prisms.☆440Aug 27, 2025Updated 5 months ago
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,954Nov 14, 2022Updated 3 years ago
- Working illustration of the Capability Design Pattern☆12Feb 1, 2021Updated 5 years ago
- A friendly programming language from the future☆6,475Updated this week
- A standard library for Haskell☆861Updated this week
- A formatter for Haskell source code☆1,044Jan 9, 2026Updated last month
- Release with confidence, state-of-the-art property testing for Haskell.☆694Jan 12, 2026Updated last month
- 🕵️ Haskell STatic ANalyser☆587Jan 16, 2026Updated 3 weeks ago
- ZIO — A type-safe, composable library for async and concurrent programming in Scala☆4,341Updated this week
- Typechecked markdown documentation for Scala☆404Feb 3, 2026Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆561May 5, 2023Updated 2 years ago
- Generates a references DB from .hie files☆68Jan 21, 2026Updated 3 weeks ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆118Mar 24, 2022Updated 3 years ago
- ☆12Oct 18, 2022Updated 3 years ago
- The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and distributed ledger technology t…☆579May 9, 2025Updated 9 months ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- Systematic concurrency testing meets Haskell.☆197Jan 13, 2026Updated last month
- Functional workflows☆364Jan 29, 2024Updated 2 years ago
- A fast, flexible, fused effect system for Haskell☆667Dec 17, 2025Updated last month