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
Bitmask
User-friendly and secure VPN configuration
Open Cloud Mesh
Improved specs and test suite for Open Cloud Mesh protocol
Balthazar – One laptop for the new internet age.
A secure fully open hardware laptop
CRYPTPAD
Online collaboration often comes at the cost of privacy. CryptPad is a collaboration suite that is end-to-end encrypted and open-source....
