NGI Navigator (Prototype)

Type Inference for Nix

active Open Source LGPL-2.1

A software tool or extension that adds static typing and type inference capabilities to the Nix package manager and language.

🌐 Website github.com/NixOS/nix/issues/14 📦 Source Code github.com/NixOS/nix/issues/14

Product Information

Maintainer
NixOS company
License
LGPL-2.1
Last Activity
2026-02-11
Categories
Software & Cryptography

Linked NGI Projects

This product was created or improved through NGI-funded projects

Type Inference for Nix ngi assure

Adding static typing and type inference to Nix

Often Used Together

Products commonly used alongside Type Inference for Nix

Owncast OSS GNU Hurd OSS Panoramax OSS cdxgen OSS sbt-reproducible-builds OSS Androguard OSS

Similar Products

Other products in related categories

irmaseal

Identity based encryption Proof of Concept

OSS inactive
Sequoia-PGP

Sequoia is a modular OpenPGP implementation in Rust.

OSS
heads

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot ...

OSS active
sdzkp

SDZKP: A zero-knowledge proof using subgroup distance problem

OSS maintained

Community Discussion 3 comments

TH
Thomas Hansen 3 days ago

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent commodo cursus magna, vel scelerisque nisl consectetur et.

LM
Laura Martin 1 week ago

Nullam quis risus eget urna mollis ornare vel eu leo. Cras mattis consectetur purus sit amet fermentum.

PG
Paolo Gianetti 2 weeks ago

Maecenas sed diam eget risus varius blandit sit amet non magna. Integer posuere erat a ante venenatis dapibus posuere velit aliquet.

Discovery info: llm_confidence=medium; The project title and description clearly indicate a concrete software enhancement (type inference system) being developed for Nix, which is an existing software product. However, the provided links point to GitHub issues rather than a dedicated repository or release, suggesting it might still be in development or planning stages. Last checked: 2026-02-11