A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

denful

denful/with-inputs

A flake-inputs adapter for Nix projects that don't use `flake.nix`.

2 good first / help-wanted issues · Nix · last activity Aug 31, 2026

dendritic flake flake-inputs nix no-flakes npins stable-nix unflake
2 Open Issues Need Help Last updated: Aug 31, 2026

Open Issues Need Help

View All on GitHub
enhancement help wanted good first issue

A flake-inputs adapter for Nix projects that don't use `flake.nix`.

Nix
#dendritic#flake#flake-inputs#nix#no-flakes#npins#stable-nix#unflake
enhancement help wanted good first issue

A flake-inputs adapter for Nix projects that don't use `flake.nix`.

Nix
#dendritic#flake#flake-inputs#nix#no-flakes#npins#stable-nix#unflake