We've verified that the organization nasa controls the domains:
https://github.com/nasa/nasa.github.io/blob/master/docs/INSTRUCTIONS.md
HTML 391 94
NASA PVS Library of Formal Developments
F´ - A flight software and embedded systems framework
Tutorials for OB.DAAC data
Python library for querying the common metadata repository.
The Core Flight System (cFS)
F Prime Prime: A modeling language for F Prime
Cumulus Framework + Cumulus API
