Ironclad – Networking developments
Website
https://ironclad-os.orgReal-time capable, UNIX-like operating system kernel in SPARK/ADA
ProjectID
Ironclad-networking
Acronym
Ironclad-networking
Additional Info
- Talk
- Matrix
- https://matrix.to/#/#ironclad:matrix.org
- Stay up to date
- Mailinglist
- https://savannah.nongnu.org/mail/?group=ironclad
- Resources
- Documentation
- https://ironclad-os.org/manual
- Source code
- https://codeberg.org/Ironclad/Ironclad
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country:
NGI Project: NGI Zero Commons Fund
Status: Early research demo
check other similar innovations
APSIDE
Asset profile standards for interoperable decentralized ecosystems
MapComplete
Thematics OpenStreetMap-viewer and editor.
Lychee
Reliable and fast link checker to combat linkrot
Decentralized Science
A distributed Open Science publication system, with Open Access infrastructure, a reviewer reputation network and transparent peer reviews.