https://gtd-gmbh.gitlab.io/libmcs/
This library contains interesting standard function implementations. 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 code repo is here: https://gitlab.com/gtd-gmbh/libmcs -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/77dfb1fe-404d-4877-8212-8284c702fa4en%40googlegroups.com.