Type Inference for Nix
Website
Website not available yet
Adding static typing and type inference to Nix
ProjectID
Nix-TypeInference
Acronym
Nix-TypeInference
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI assure
Status: Early research demo
Category: Software engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Storing Efficiently Our Software Heritage
Faster retrieval within Software Heritage
Reproducible-openSUSE
Reproducible distribution of openSUSE rolling release
Multi browsing context support in Servo
Allow Servo browser engine to render beyond atomic pages
Structuring the System Layer with Dataspaces
Implementing a secure and scalable system layer on mobile
