RAD StudioTM: Build cross-platform apps ridiculously FAST! Delivering fast and powerful native applications for Windows, Linux, macOS, iOS, Android, cloud and IoT. Rapidly design, build, and run applications optimized for native performance, from a single code base across all platforms. With RAD Studio 10.2 you can securely connect and embed any data, on any tier, in the Enterprise, or cloud.Advertisement
- Grouping and Descriptive Categories (2)
- Windows (2)
- BSD (1)
- Embedded Operating Systems (1)
- Emulation and API Compatibility (1)
- Linux (1)
- Mac (1)
- Modern (1)
A native Windows port of the GNU Compiler Collection (GCC)2,085,291 weekly downloads
CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
OS based on Agent based Security with a new type of split kernel and agents platform.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)