input-output-hk / iohk-nix
nix scripts shared across projects
☆62Updated this week
Alternatives and similar repositories for iohk-nix:
Users that are interested in iohk-nix are comparing it to the libraries listed below
- Formal specifications of the cardano ledger☆40Updated this week
- Minimal reproducible nix flake templates☆17Updated this week
- ☆40Updated this 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 this week
- Flake Template for Haskell Projects☆24Updated last week
- A protolude-based custom prelude for the Cardano project☆16Updated 3 months ago
- Plutarch 2.0☆20Updated 2 weeks ago
- Generate nix expressions for Haskell projects☆98Updated 3 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Metadata for Cardano's Haskell package repository☆34Updated this week
- This framework provides logging, benchmarking and monitoring.☆34Updated last month
- Haskell implementation of the Nix store☆90Updated 5 months ago
- Nix builds of Haskell Language Server☆47Updated 10 months ago
- Translate Cabals Generic Package Description to a Nix expression☆95Updated last year
- Haskell/Nix development build tools☆35Updated this week
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Propositional Logic Apropos Types☆14Updated 2 years ago
- Nix ❤️ Cardano☆18Updated this week
- Cardano world provides preprod and preview cardano networks, configuration documentation and miscellaneous automation.☆30Updated 7 months ago
- superseded / unmaintained☆57Updated 4 years ago
- Cross compiling Hello World (haskell) to Windows using nix.☆56Updated 7 years ago
- CI assistant☆46Updated 2 months ago
- Data types and useful functions to represent and manipulate the Nix language. | Source has moved to https://github.com/nixos/cabal2nix☆30Updated last year
- Unit testing with resource estimation for Plutus☆30Updated 3 months ago
- Declarative feedback loop manager☆63Updated last month
- ☆91Updated 3 years ago
- Nix packages for Haskell IDE Engine☆115Updated 5 years ago
- LambdaBuffers toolkit for sharing types and their semantics between different languages☆31Updated this week
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Nix tools for building Liqwid projects☆16Updated last year