Comment by chasil
1 year ago
I am assuming that DO-178B certification for the Rust variant is not on the table.
https://www.sqlite.org/hirely.html
https://www.sqlite.org/qmplan.html
https://www.sqlite.org/th3.html
The name "Limbo" is also used by a post-C/UNIX language from AT&T for the Inferno operating system.
Is sqlite DO-178B certified?
https://news.ycombinator.com/item?id=18039303
Interesting, thanks for pointing that out.
If there was a solid certification, it would likely be for a specific version.