Ironclad
Website
https://ironclad.nongnu.org
Hard real-time capable kernel written in SPARK/Ada
ProjectID
Ironclad
Acronym
Ironclad
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 zero core
Status: Early research demo
check other similar innovations
Encoding for Robust Immutable Storage (ERIS)
Encrypted and content-addressable data blocks
Decentralized data ecosystem for the OBADA
The NGI eReuse-Ledger testbed is a permissioned distributed ledger to support experimentation about device traceability, provided by UPC in collaboration...
AREXERA Crawler
C++ based web crawler
DeltaChat/WebXDC
Portable private apps that can be shared in e.g. chat
