IntersectMBO / cardano-prelude
A protolude-based custom prelude for the Cardano project
☆16Updated last month
Alternatives and similar repositories for cardano-prelude:
Users that are interested in cardano-prelude are comparing it to the libraries listed below
- This framework provides logging, benchmarking and monitoring.☆34Updated last month
- nix scripts shared across projects☆62Updated this week
- Formal specifications of the cardano ledger☆39Updated this week
- ☆39Updated this week
- Issues and proposals related to the HF Stability Working Group☆26Updated this week
- Efficiently scale, crop, flip images with JuicyPixels☆14Updated last week
- ☆27Updated 8 months ago
- Content for the stackage.org site☆10Updated 2 months ago
- Generated migrations for beam databases☆20Updated 5 months ago
- ☆44Updated 2 months ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆44Updated this week
- OpenSSL binding for Haskell☆24Updated 2 months ago
- Modern library for working with URIs☆69Updated last week
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Generic types and functions for encoding and decoding columns☆43Updated 3 months ago
- haskell library to parse commandline args - an alternative to optparse-applicative☆19Updated last year
- ☆28Updated last month
- IPFS wrapper for Haskell☆43Updated last year
- ☆49Updated last month
- Deep evaluation of data structures☆41Updated 5 months ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 9 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆59Updated last month
- Functor-parametric containers☆18Updated last month
- ZuriHac 2020 GHC typechecker plugins project☆19Updated 3 years ago
- Node shell, a thin layer for running the node and it's modules.☆31Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 2 weeks ago
- A library of algorithms for coin selection and fee balancing.☆19Updated 9 months ago
- Language-generic workbench for building static analysis☆47Updated last year
- Maps using values' monoidal structure during merging☆42Updated 3 months ago
- ☆40Updated 2 weeks ago