Alternatives and similar repositories for nix-derivation

Users that are interested in nix-derivation are comparing it to the libraries listed below

• arow-oss / goat-guardian

  View on GitHub
  Reverse proxy that handles authentication
  ☆37Sep 9, 2018Updated 7 years ago
• corajr / heroku-buildpack-nix-proot

  View on GitHub
  A Heroku buildpack using Nix.
  ☆13Mar 28, 2017Updated 8 years ago
• mightybyte / zeus

  View on GitHub
  ☆91Nov 17, 2021Updated 4 years ago
• hercules-ci / canonix

  View on GitHub
  Experiment in Nix formatting
  ☆23Oct 4, 2019Updated 6 years ago
• nikivazou / EquationalReasoningInLiquidHaskell

  View on GitHub
  Derivation of Optimized Definitions Based on Specs
  ☆14Sep 28, 2019Updated 6 years ago
• Gabriella439 / Haskell-Optional-Args-Library

  View on GitHub
  Optional function arguments
  ☆16Sep 4, 2022Updated 3 years ago
• rickynils / nixrbd

  View on GitHub
  Remote boot server for NixOS clients
  ☆23Dec 30, 2015Updated 10 years ago
• cgohla / pureshell

  View on GitHub
  A Bash backend for PureScript
  ☆20Jan 11, 2023Updated 3 years ago
• dhall-lang / dhall-text

  View on GitHub
  This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text
  ☆21Nov 23, 2018Updated 7 years ago
• xtruder / nix-kubernetes

  View on GitHub
  Kubernetes deployment manager written in nix (DEPRECATED for https://github.com/xtruder/kubenix)
  ☆80Jun 26, 2018Updated 7 years ago
• evertedsphere / rien

  View on GitHub
  Predictable Haskell development environments with Cabal and Nix.
  ☆66Oct 18, 2019Updated 6 years ago
• dhall-lang / dhall-json

  View on GitHub
  This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-json
  ☆64Nov 23, 2018Updated 7 years ago
• xtruder / kubenix-modules

  View on GitHub
  Repository of kubenix services
  ☆34Sep 14, 2020Updated 5 years ago
• purescript-contrib / purescript-matryoshka

  View on GitHub
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆58Apr 27, 2022Updated 3 years ago
• chordify / haskell-servant-pagination

  View on GitHub
  ☆26Dec 13, 2023Updated 2 years ago
• purescript / purescript-typelevel-prelude

  View on GitHub
  Types and kinds for basic type-level programming
  ☆64Sep 28, 2024Updated last year
• gergoerdi / clash-compucolor2

  View on GitHub
  Clash implementation of the Compucolor II home computer
  ☆32Nov 6, 2021Updated 4 years ago
• ocharles / assert-explainer

  View on GitHub
  Py.test style assertions in Haskell
  ☆67Jun 16, 2018Updated 7 years ago
• cabalism / hpack-dhall

  View on GitHub
  Use hpack's phrasing in dhall to write cabal files
  ☆31Jan 12, 2025Updated last year
• cachix / ghcide-nix

  View on GitHub
  Nix installation for ghcide
  ☆74Jan 6, 2021Updated 5 years ago
• ekmett / auth

  View on GitHub
  ☆40Jul 1, 2018Updated 7 years ago
• cideM / dhall-alacritty

  View on GitHub
  Dhall types and default values for the alacritty terminal emulator
  ☆12May 9, 2021Updated 4 years ago
• acowley / concurrent-machines

  View on GitHub
  Concurrency features for the Haskell machines package
  ☆16Mar 11, 2022Updated 3 years ago
• conal / talk-2016-generic-fft

  View on GitHub
  A talk on type-generic FFT in Haskell
  ☆46Oct 24, 2021Updated 4 years ago
• srid / unionmount

  View on GitHub
  Union mount in Haskell, with fsnotify
  ☆12Dec 23, 2025Updated last month
• rowtype-yoga / purescript-record-studio

  View on GitHub
  📀 You finally scored a record deal.
  ☆11Apr 11, 2023Updated 2 years ago
• GianlucaGuarini / fortytwo

  View on GitHub
  List of interactive prompt helpers to pimp the UIs of your haskell programs
  ☆13Aug 26, 2023Updated 2 years ago
• ZHaskell / stdio

  View on GitHub
  Haskell Standard Input and Output
  ☆104Oct 24, 2020Updated 5 years ago
• adnelson / semver-range

  View on GitHub
  Implementation of semver and NPM-style semantic version ranges in Haskell
  ☆12Apr 8, 2020Updated 5 years ago
• natefaubion / polykinds

  View on GitHub
  Experimental polykinds implementation
  ☆15Aug 22, 2019Updated 6 years ago
• MonoidMusician / blog

  View on GitHub
  ☆11Updated this week
• paf31 / purescript-lists-fast

  View on GitHub
  Fast replacements for some common functions on linked lists
  ☆13Dec 14, 2017Updated 8 years ago
• jhbertra / purescript-reactive-effect

  View on GitHub
  Higher-order FRP for PureScript
  ☆13Dec 24, 2022Updated 3 years ago
• tfausak / haskell-knowledge-base

  View on GitHub
  A knowledge map about Haskell powered by Obsidian.
  ☆16Aug 28, 2022Updated 3 years ago
• purescript-hyper / purescript-hyperdrive

  View on GitHub
  A simpler request/response abstraction on top of Hyper
  ☆13Jul 26, 2018Updated 7 years ago
• garyb / purescript-mote

  View on GitHub
  Just a little spec(k).
  ☆15May 16, 2022Updated 3 years ago
• luc-tielen / typesystem

  View on GitHub
  Experiments using a bidirectional typesystem
  ☆17Jan 30, 2022Updated 4 years ago
• anttih / purescript-selective

  View on GitHub
  Selective applicative functors
  ☆16Jul 2, 2018Updated 7 years ago
• bitnomial / servant-jsonrpc

  View on GitHub
  Tools to build JSON-RPC clients and servers the Servant way
  ☆10Sep 28, 2024Updated last year