Show HN: LibmCS – (Pre-)Qualified Mathematical Library for Critical Systems https://ift.tt/B2WMmHb

Show HN: LibmCS – (Pre-)Qualified Mathematical Library for Critical Systems This is the mathematical library for critical systems (LibmCS). It has been developed in compliance with the European Cooperation for Space Standardization (ECSS) standards E-ST-40 and Q-ST-80 to criticality Category B and it is also compliant to the standards: IEEE-754, C18, POSIX, and MISRA C The library has been developed by GTD GmbH under the ESA Contract No. 4000130278/20/NL/AS. Documentation: https://ift.tt/Su601bO (User manual, Design documentation) https://ift.tt/NjJbFVu January 11, 2023 at 11:32AM