Alternatives and similar repositories for ptyx

Users that are interested in ptyx are comparing it to the libraries listed below

• thufschmitt / tix

  View on GitHub
  [WIP] A type system for nix
  ☆63Jul 11, 2019Updated 6 years ago
• thufschmitt / tix-papers

  View on GitHub
  Some writings about a type system for nix
  ☆19Dec 18, 2017Updated 8 years ago
• garbas / nix-docker-nix

  View on GitHub
  An attept to a fully configured Nix environment in a Docker image.
  ☆18Dec 4, 2019Updated 6 years ago
• shlevy / nix-adt

  View on GitHub
  A library for using algebraic data types in the Nix expression language.
  ☆32Jan 29, 2018Updated 8 years ago
• haskell-nix / hnix

  View on GitHub
  A Haskell re-implementation of the Nix expression language
  ☆824Nov 21, 2025Updated 2 months ago
• snoyberg / trio

  View on GitHub
  Crazy experiment, ignore unless you know better
  ☆37Jul 5, 2018Updated 7 years ago
• headcounter / deployment

  View on GitHub
  NixOps deployment
  ☆32May 3, 2018Updated 7 years ago
• xtruder / kubenix-modules

  View on GitHub
  Repository of kubenix services
  ☆34Sep 14, 2020Updated 5 years ago
• patrickt / empathy

  View on GitHub
  a modern library for typed path manipulation in Haskell
  ☆36Jul 24, 2025Updated 6 months ago
• Mic92 / nix-build-uncached

  View on GitHub
  A CI friendly wrapper around nix-build.
  ☆86Nov 24, 2025Updated 2 months ago
• domenkozar / hie-nix

  View on GitHub
  Nix packages for Haskell IDE Engine
  ☆113May 14, 2019Updated 6 years ago
• dtomvan / dont-track-me.nix

  View on GitHub
  home-manager module POC for a tracker blocker on the command line
  ☆11Feb 22, 2025Updated 11 months ago
• domenkozar / hnix-lsp

  View on GitHub
  Language Server Protocol for Nix
  ☆67Mar 23, 2019Updated 6 years ago
• xtruder / kubenix

  View on GitHub
  Replaced by https://github.com/hall/kubenix
  ☆301Feb 11, 2023Updated 3 years ago
• Gabriella439 / nixfmt

  View on GitHub
  Automatic code formatter for the Nix programming language
  ☆50Sep 21, 2016Updated 9 years ago
• Mic92 / nur-packages

  View on GitHub
  My personal NUR repository
  ☆27Updated this week
• Synthetica9 / nix-linter

  View on GitHub
  Linter for the Nix expression language
  ☆155Feb 27, 2023Updated 2 years ago
• vindarel / indent-tools

  View on GitHub
  (mirror) Emacs mode to indent, navigate around and act on indentation units: perfect for yaml, python and the like.
  ☆15Jun 6, 2019Updated 6 years ago
• dhall-lang / dhall-kubernetes

  View on GitHub
  Typecheck, template and modularize your Kubernetes definitions with Dhall
  ☆647Sep 14, 2024Updated last year
• matthewbauer / nix-haskell-mode

  View on GitHub
  Automatic Haskell setup in Emacs, for Nix users
  ☆29Jun 15, 2019Updated 6 years ago
• krdlab / haskell-oidc-client

  View on GitHub
  OpenID Connect 1.0 client (RP) library for Haskell
  ☆27Jul 29, 2024Updated last year
• timokau / dotfiles

  View on GitHub
  My personal dotfiles.
  ☆14Updated this week
• GongYiLiao / theme-anchor

  View on GitHub
  Apply a custom theme to current Emacs buffer only
  ☆10Jun 20, 2025Updated 7 months ago
• muffinmad / emacs-completions-frame

  View on GitHub
  Show completions buffer in child frame
  ☆13Sep 13, 2022Updated 3 years ago
• nlewo / hydra-cli

  View on GitHub
  A client for the Hydra Nix CI
  ☆48Jul 22, 2024Updated last year
• haskell-nix / hnix-store

  View on GitHub
  Haskell implementation of the Nix store
  ☆95Nov 18, 2025Updated 2 months ago
• input-output-hk / nix-tools

  View on GitHub
  Translate Cabals Generic Package Description to a Nix expression
  ☆95Jun 26, 2023Updated 2 years ago
• nix-community / docker-nix

  View on GitHub
  Docker image for nix [maintainer=@zimbatm] [status=deprecated]
  ☆37May 19, 2020Updated 5 years ago
• hercules-ci / gitignore.nix

  View on GitHub
  Nix functions for filtering local git sources
  ☆279Nov 10, 2025Updated 3 months ago
• abo-abo / orly

  View on GitHub
  Additional Org-mode link types and completion for them
  ☆17Jun 20, 2025Updated 7 months ago
• mightybyte / zeus

  View on GitHub
  ☆91Nov 17, 2021Updated 4 years ago
• nix-community / nixpkgs-fmt

  View on GitHub
  Nix code formatter for nixpkgs [maintainer=@zimbatm]
  ☆564Jul 24, 2024Updated last year
• nix-community / rnix-lsp

  View on GitHub
  WIP Language Server for Nix! [maintainer=@aaronjanse]
  ☆712Jan 15, 2024Updated 2 years ago
• tweag / rfcs

  View on GitHub
  The Nix community RFCs
  ☆17Jan 8, 2024Updated 2 years ago
• bgamari / the-thoralf-plugin

  View on GitHub
  This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
  ☆21Jan 31, 2022Updated 4 years ago
• input-output-hk / hackage.nix

  View on GitHub
  Automatically generated Nix expressions for Hackage
  ☆20Feb 7, 2026Updated last week
• svanderburg / nijs

  View on GitHub
  NiJS: An internal DSL for Nix in JavaScript
  ☆58May 1, 2022Updated 3 years ago
• chessai / nix-std

  View on GitHub
  no-nixpkgs standard library for the nix expression language
  ☆136Mar 19, 2024Updated last year
• xzfc / cached-nix-shell

  View on GitHub
  Instant startup time for nix-shell
  ☆228Nov 24, 2024Updated last year