web analytics
Ada Forge - Frameworks
Stacks Image 599

GNAT Component Collection

Stacks Image 585

Cloud Desktop and Mobile

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.