µTCP
TCP/IP implementation derived from HOL4 formal specification
ProjectID
microTCP
Acronym
microTCP
Additional Info
- Resources
- Source code
- https://git.robur.coop/robur/utcp
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Germany
NGI Project: NGI Zero Commons Fund
Status: Early research demo
Category: Network infrastructure (including routing, peer-to-peer and virtual private networking)
check other similar innovations
mikroPhone drivers + GUI
Full-featured expandable mobile phone from off-the-shelf components
Vouivre
A dependent type system for machine learning in Lisp
Payment Module for Nuxt/Vue.js
Module to add GNU Taler support in Nuxt/Vue.js
FAIR-AI
Building fairness and ethics into AI engines