web analytics
Ada Forge - Frameworks
Frameworks
Stacks Image 599

GNAT Component Collection

Stacks Image 585

Mission-Critical
Cloud Desktop and Mobile
Applications

Stacks Image 583
SQL Database access, XML, JSON, I18N string and calendar calculations, RegEx, OpenDoc Format
Stacks Image 310
Towards a cooperative and open framework for the development of certifiable software
Stacks Image 763

Operation System Framework.
Toolkit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads.

Stacks Image 750
The Muen platform is a Microkernel that has been formally proven to contain no runtime errors at the source code level.