kadena-io / pact-5
The New Pact
☆16Updated this week
Alternatives and similar repositories for pact-5
Users that are interested in pact-5 are comparing it to the libraries listed below
Sorting:
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆18Updated 2 months ago
- Flake Template for Haskell Projects☆25Updated this week
- Examples for Streamly☆29Updated last month
- ☆36Updated 4 months ago
- ☆41Updated this week
- Symbolic framework☆17Updated this week
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated last month
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated last week
- The Developer Experience Shell - This repo contains a nix develop shell for haskell. Its primary purpose is to help get a development she…☆50Updated last week
- Real-world smart contracts and apps built with Pact & Chainweb☆44Updated last year
- Propositional Logic Apropos Types☆14Updated 2 years ago
- JSaddle integration for the GHC Wasm backend☆17Updated 2 weeks ago
- Modern bindings to Oracle odpic☆12Updated 4 months ago
- Generate your PureScript types and API client from a Haskell Servant backend.☆30Updated 2 years ago
- ☆25Updated 8 months ago
- Issues and proposals related to the HF Stability Working Group☆26Updated this week
- Bindings to libsodium for Haskell☆36Updated last month
- Leightweight generalized parser combinators☆20Updated last year
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆40Updated last year
- Formal specifications of the cardano ledger☆41Updated this week
- Create environments with GHC HEAD artefacts☆27Updated last year
- Cardano API☆33Updated this week
- Configuration managment for haskell☆21Updated 2 months ago
- Monoidal map type with support for semigroup and monoid subclasses.☆19Updated last month
- Visualise eventlog events as a static webpage☆71Updated 5 months ago
- Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI☆47Updated this week
- Automatically generate Haskell bindings from C header files☆45Updated this week
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆18Updated last year
- Haskell Actors☆25Updated last year
- Setting up a Haskell development environment with Nix☆20Updated 4 years ago