thufschmitt / ptyxLinks
A type-system for Nix
☆98Updated 6 years ago
Alternatives and similar repositories for ptyx
Users that are interested in ptyx are comparing it to the libraries listed below
Sorting:
- Haskell implementation of the Nix store☆89Updated 8 months ago
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- ☆91Updated 3 years ago
- superseded / unmaintained☆56Updated 4 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix☆88Updated 6 years ago
- Translate Cabals Generic Package Description to a Nix expression☆95Updated 2 years ago
- [WIP] A type system for nix☆62Updated 6 years ago
- Utilities for interacting with the docker registry and generating nix build instructions☆122Updated 3 months ago
- Convenient utility for distributed Nix builds☆90Updated 3 months ago
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Updated 2 years ago
- Language Server Protocol for Nix☆66Updated 6 years ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆38Updated 5 years ago
- Parse and render *.drv files☆38Updated 9 months ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 4 months ago
- On-demand provisioning tool for Hydra☆30Updated 6 years ago
- A nix-based Haskell project manager☆164Updated 3 years ago
- Generate nix expressions for Haskell projects☆98Updated 4 years ago
- GTK viewer for the output of `nix-store --query --tree`☆73Updated last year
- Automatic code formatter for the Nix programming language☆49Updated 8 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- Nix packages for Haskell IDE Engine☆114Updated 6 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- ☆30Updated 4 years ago
- Build and deploy node packages with nix from yarn.lock files.☆84Updated 2 years ago
- Declarative feedback loop manager☆64Updated last month
- Hakyll + Nix starter template☆59Updated 9 months ago
- Nix expressions for cross compiling to WebAssembly☆144Updated 4 years ago
- Terraform provider for NixOS and NixOps☆71Updated 5 years ago
- Run programs defined in nix expressions☆51Updated 8 years ago