> Safety critical systems
Any concrete examples where we can see the code?
sqlite is probably our best example. The project touts use within Airbus A350 and DO-178B certification.