Open Source Ada Software Development Software for Windows
Sort By:
Ada Software Development Software for Windows
View 1870 business solutionsBrowse free open source Ada Software Development Software for Windows and projects below. Use the toggles on the left to filter open source Ada Software Development Software for Windows by OS, license, language, programming language, and project status.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Get Avast Free Antivirus with 24/7 AI-powered online scam detectionAward-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.
-
1
Ada Class Library
Ada Class Library - an object orientated library for Ada.
Text search and replace. Scripting (small tool programs). CGI scripts. Execution of external programs (incl. I/O redirection). Garbage Collection. Extendended Booch Components. CD-Recorder -
2
AVR-Ada
Ada cross compiler and libraries for AVR µCs
The AVR-Ada project provides the gcc based Ada compiler GNAT for the AVR 8-bit microcontrollers. This includes: - the Ada compiler - the Ada run time system and the AVR support library - documentation and some sample programs. The project is now superseded by the Alire crates - [AVRAda_RTS](https://github.com/RREE/AVRAda_RTS) - [AVRAda_MCU](https://github.com/RREE/AVRAda_MCU) - [AVRAda_Lib](https://github.com/RREE/AVRAda_Lib) - [AVRAda_Examples](https://github.com/RREE/AVRAda_Examples) Start with the examples (alr get avrada_examples) and Alire will install everything else. -
3
ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
-
4
A code template tool for VHDL development which outputs to the clipboard - this means it can be used with any tool. Written in Ada, using GTK. Runs on Windows XP and Linux with common source code
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
-
6
A browser for Ada source Libraries based on unit names instead of file names. Illustrates use of aflex, gnat library packages, GtkAda in a platform independant fashion.
-
7
-
8
SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.
-
9
Smart_Arguments is designed to simplify the use of command line arguments. The built in Ada facilities for command line argument processing are very basic. This package provide a higher level facility for dealing with command lines.
-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
10
ZanyBlue: Ada libraries towards a finite element framework
- Previous
- You're on page 1
- Next
