Typed Nix
Website
https://github.com/numtideStatic type system for Nix programming language.
ProjectID
TypedNix
Acronym
TypedNix
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Switzerland
NGI Project: NGI Zero Commons Fund
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Solid Usable App Tools Project
Improve developer experience for W3C Solid
ZSWatch
Open smartwatch including software, hardware, and mechanics
Ltt.rs
Ltt.rs is a beautiful, user friendly and encrypted by default E-Mail client for Android based on modern standards like JMAP...
The Libre-SOC Project – Building a fast, safe and trusted chip.
The LibreSOC Project aims to bring to the world an ethically developed privacy rESecting power efficient SoC with modern 3D...