GNU Guix – Cuirass
Continuous integration system for GNU Guix/Linux + Hurd
ProjectID
Cuirass
Acronym
Cuirass
Additional Info
- Resources
- Repology
- https://nlnet.nl/gallery/repology.html#repology_Repology
- Source code
- https://git.savannah.gnu.org/cgit/guix/guix-cuirass.git
- Documentation
- https://guix.gnu.org/manual/en/html_node/Continuous-Integration.html
Enduser Relevance
When you start up your computer, you will probably think twice before you download some random piece of software from the internet and run it. You know that doing so could allow unwelcome
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI zero pet
Status: Early research demo
Category: Middleware and identity (including DNS, authorisation, authentication, reputation systems, distribution and deployment, operations)Operating systems, firmware and virtualisationSoftware engineering, protocols, interoperability, cryptography, algorithms, proofs
check other similar innovations
Inclusive verification of cross-border credentials
This experiment aims to connect different platforms; test security features; to showcase enhanced levels of assurance for secure transmission of...
Winden/Magic Wormhole dilation
Improving Magic-Wormhole by implementing dilation and multiple file support for the web
IPDL II
A new process logic aimed at formal proofs for cryptographic algorithm
TCPLS – Transport Layer Security Ext
TCPLS is an extension to Transport Layer Security (TLS) 1.3 that closely couples TLS with one of the most important...
