kadena-io / pact-5Links
The New Pact
☆25Updated last month
Alternatives and similar repositories for pact-5
Users that are interested in pact-5 are comparing it to the libraries listed below
Sorting:
- Flake Template for Haskell Projects☆25Updated last week
- Symbolic framework☆23Updated last week
- Formal specifications of the Cardano ledger☆48Updated last week
- A library for stateful property-based testing☆33Updated 2 weeks ago
- ☆18Updated 4 months ago
- ☆42Updated last week
- Implementation of a Consensus Layer for the Ouroboros family of protocols☆58Updated this week
- Examples for Streamly☆30Updated 2 months ago
- A really small example of the Backpack module system for Haskell☆59Updated 11 months ago
- Haskell + nixpkgs = nix-hs☆24Updated 4 years ago
- Functional Reactive Programming (FRP) with GObject Introspection in Haskell☆17Updated 4 years ago
- ☆40Updated 10 months ago
- Haskell implementation of DAP interface data.☆26Updated 2 months ago
- Declarative feedback loop manager☆66Updated last week
- A Haskell library for on-disk tables based on LSM-Trees☆49Updated last week
- Servant servers utilities☆36Updated last year
- ☆30Updated last month
- Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.☆40Updated last year
- Cardano API☆39Updated last week
- IPFS wrapper for Haskell☆43Updated 2 years ago
- ☆19Updated 3 months ago
- Unofficial OpenAI Haskell Bindings☆53Updated last year
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Updated 8 months ago
- An Awesome MCP Server Framework for Haskell☆37Updated 3 months ago
- Issues and proposals related to the HF Stability Working Group☆27Updated this week
- ☆26Updated 2 months ago
- ☆48Updated 2 months ago
- Real-world smart contracts and apps built with Pact & Chainweb☆46Updated 2 years ago
- ☆14Updated 2 months ago
- Off-chain code to interact with Genius Yield DEX contracts☆18Updated 9 months ago