Alternatives and similar repositories for pact-5

Users that are interested in pact-5 are comparing it to the libraries listed below

• input-output-hk / quickcheck-dynamic
  A library for stateful property-based testing
  ☆33Updated last month
• danidiaz / really-small-backpack-example
  A really small example of the Backpack module system for Haskell
  ☆59Updated last month
• BartoszMilewski / LinearLens
  Linear lens
  ☆21Updated last year
• haskell-oracle / oracle-simple
  Modern bindings to Oracle odpic
  ☆12Updated 2 months ago
• IntersectMBO / formal-ledger-specifications
  Formal specifications of the Cardano ledger
  ☆49Updated this week
• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆41Updated 6 months ago
• zkFold / symbolic
  Symbolic framework
  ☆23Updated last week
• tweag / cooked-validators
  ☆42Updated this week
• composewell / streamly-examples
  Examples for Streamly
  ☆30Updated 3 months ago
• IntersectMBO / ouroboros-consensus
  Implementation of a Consensus Layer for the Ouroboros family of protocols
  ☆60Updated this week
• fission-codes / ipfs-haskell
  IPFS wrapper for Haskell
  ☆43Updated 2 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆37Updated 4 years ago
• input-output-hk / iogx
  Flake Template for Haskell Projects
  ☆26Updated last week
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 4 months ago
• thomashoneyman / real-world-pact
  Real-world smart contracts and apps built with Pact & Chainweb
  ☆46Updated 2 years ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆29Updated last month
• Tritlo / mcp
  ☆18Updated 5 months ago
• bitnomial / servant-jsonrpc
  Tools to build JSON-RPC clients and servers the Servant way
  ☆10Updated last year
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆41Updated 2 years ago
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated 4 months ago
• IntersectMBO / lsm-tree
  A Haskell library for on-disk tables based on LSM-Trees
  ☆50Updated 3 weeks ago
• serokell / servant-util
  Servant servers utilities
  ☆36Updated last year
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆24Updated this week
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆57Updated 3 weeks ago
• well-typed / falsify
  ☆50Updated 3 months ago
• obsidiansystems / rhyolite
  ☆30Updated 2 months ago
• dnikolovv / servant-purescript-codegen-example
  Generate your PureScript types and API client from a Haskell Servant backend.
  ☆31Updated 2 years ago
• jonascarpay / calligraphy
  haskell source code visualizer
  ☆101Updated 8 months ago
• UnkindPartition / tasty-golden
  Golden test support for Tasty
  ☆40Updated 3 weeks ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆59Updated 3 weeks ago