channingwalton / scala-contractsView external linksLinks
A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventure in financial engineering, by Simon Peyton Jones
☆40Oct 16, 2015Updated 10 years ago
Alternatives and similar repositories for scala-contracts
Users that are interested in scala-contracts are comparing it to the libraries listed below
Sorting:
- Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a financial contract" by S.L. Peyt…☆11Jul 1, 2019Updated 6 years ago
- Advent Of Code solutions in Haskell☆11Dec 8, 2019Updated 6 years ago
- ☆12Dec 28, 2020Updated 5 years ago
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 9 years ago
- Java implementation of the Telehash v2 protocol☆29May 22, 2014Updated 11 years ago
- ☆16Aug 30, 2025Updated 5 months ago
- Intero Haskell IDE with Nix instead of Stack☆15Jan 3, 2018Updated 8 years ago
- Wrapper script around scala-cli/graalvm to allow instant Scala script startup☆17Aug 26, 2024Updated last year
- Implements a dsl to price financial contracts, as described in link☆19Dec 17, 2016Updated 9 years ago
- DataLog meets NoSql☆63Jan 2, 2023Updated 3 years ago
- ☆21Feb 4, 2026Updated last week
- ChainCash - elastic peer-to-peer money collectively backed by blockchain assets and trust☆26Jan 16, 2026Updated 3 weeks ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- The Kerr Scala Extensions contain core functionality missing from the Scala standard library.☆28Feb 8, 2021Updated 5 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- Performance focused interpolation☆32Feb 8, 2026Updated last week
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- A compiler plug-in to control object lifetimes in Scala☆65Jul 15, 2017Updated 8 years ago
- A purely functional MQTT client library for Scala☆29Apr 1, 2025Updated 10 months ago
- ☆41Dec 27, 2025Updated last month
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆32Oct 22, 2024Updated last year
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- sbt plugin for creating OSGi bundles☆47Feb 5, 2026Updated last week
- the Scala delimited continuations plugin and library☆91Jun 22, 2020Updated 5 years ago
- Compatibility checks for your dependencies☆86Dec 14, 2025Updated 2 months ago
- Cryptographic Constructions in the Type Theory of Agda☆52Aug 8, 2015Updated 10 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆51Feb 28, 2017Updated 8 years ago
- Play + Pekko gRPC☆39Feb 5, 2026Updated last week
- Simple scala icon with shadow☆65Sep 14, 2014Updated 11 years ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Jul 21, 2025Updated 6 months ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- Run a raffle among the 🌟 stargazers 🌟 of a Github project!☆11Mar 23, 2023Updated 2 years ago
- A modular framework for image processing and analysis, aimed at the biological sciences☆13Oct 16, 2013Updated 12 years ago
- AlgZoo: uninterpreted models with fewer than 1,500 parameters☆41Jan 19, 2026Updated 3 weeks ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- Scripts for running Apache Kafka on Mesosphere's Marathon☆14Dec 6, 2015Updated 10 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- ☆10Jun 9, 2016Updated 9 years ago