thufschmitt / ptyx
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
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- ☆91Updated 3 years ago
- Translate Cabals Generic Package Description to a Nix expression☆95Updated last year
- Haskell implementation of the Nix store☆90Updated 5 months ago
- superseded / unmaintained☆57Updated 4 years ago
- Language Server Protocol for Nix☆68Updated 6 years ago
- [WIP] A type system for nix☆61Updated 5 years ago
- A CI friendly wrapper around nix-build.☆81Updated 3 weeks ago
- Hakyll + Nix starter template☆57Updated 5 months ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-nix☆88Updated 6 years ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Deterministic Maven builds using Nix [maintainer=@icetan]☆49Updated 3 years ago
- Convenient utility for distributed Nix builds☆90Updated 6 years ago
- Derivations for easily downloading Dhall binaries and putting them to use.☆25Updated last year
- Nix installation for ghcide☆74Updated 4 years ago
- Nix support for the Unison programming language☆57Updated 2 weeks ago
- Parse and render *.drv files☆38Updated 6 months ago
- Generate Nix build instructions from a Stack file☆49Updated 4 years ago
- Pragmatic tutorial on how to use nix with a haskell monorepo☆155Updated last year
- Generate nix expressions for Haskell projects☆98Updated 3 years ago
- Nix builds of Haskell Language Server☆47Updated 10 months ago
- GTK viewer for the output of `nix-store --query --tree`☆71Updated last year
- A library for using algebraic data types in the Nix expression language.☆32Updated 7 years ago
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆104Updated last year
- seamless management of source dependencies with nix☆38Updated 2 months ago
- Manage your PureScript projects with Nix!☆76Updated last month
- Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants☆38Updated 5 years ago
- ☆30Updated 4 years ago
- A Dhall encoding of the GitLab CI configuration schema☆48Updated last year
- Automatic code formatter for the Nix programming language☆50Updated 8 years ago