1
There's a mini RTOS in my language
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
Visit blog.adacore.com → RSS feedOn Hacker News Nov 2017 – Oct 2025
Programming Languages 9Software Engineering 6Systems & Performance 1Security & Privacy 1Tech Industry & Business 1
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.