Open Source Ada Software for Linux

Ada Software for Linux

View 7548 business solutions
Ada Linux Clear Filters

Browse free open source Ada Software for Linux and projects below. Use the toggles on the left to filter open source Ada Software for Linux by OS, license, language, programming language, and project status.

  • Get Avast Free Antivirus with 24/7 AI-powered online scam detection Icon
    Get Avast Free Antivirus with 24/7 AI-powered online scam detection

    Get protection for today’s online threats. Free.

    Award-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.
    Free Download
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 1

    PLplot

    Cross-platform, scientific graphics plotting library

    PLplot is a cross-platform, scientific graphics plotting library that supports math symbols and human languages (via UTF-8 user input strings); plot capabilities for multiple non-interactive plot file formats and in multiple interactive environments; and bindings for multiple computer languages.
    Leader badge
    Downloads: 92 This Week
    Last Update:
    See Project
  • 2
    Ada Class Library

    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
    Downloads: 301 This Week
    Last Update:
    See Project
  • 3
    Alire

    Alire

    Command-line tool from the Alire project and supporting library

    Alire is a source-based package manager for the Ada and SPARK programming languages. It facilitates the building and sharing of projects within the Ada community, allowing developers to easily manage dependencies and publish their own libraries or programs. Alire aims to streamline the development process for Ada and SPARK by providing a standardized approach to package management. ​
    Downloads: 9 This Week
    Last Update:
    See Project
  • 4
    Ini file manager

    Ini file manager

    A standalone, portable Ada package for configuration files

    Config is an Ada package for parsing configuration files (.ini, .inf, .cfg, ...) and retrieving keys of various types. New values for single keys, or entire sections, can be set. Standalone and unconditionally portable code. Alire crate: https://alire.ada.dev/crates/ini_files Mirror: https://github.com/zertovitch/ini-files
    Leader badge
    Downloads: 65 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving 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.
    Download Now
  • 5
    The GNU Ada compiler
    This project currently provides the GNAT Studio Ada development environment, packaged for macOS. For a source of the compiler and software packages, for various operating systems, see https://ada-lang.io and Alire. For up-to-date releases of the GNAT compiler packaged for macOS, see https://github.com/simonjwright/distributing-gcc/releases. Older releases are retained for historical reasons.
    Leader badge
    Downloads: 32 This Week
    Last Update:
    See Project
  • 6
    Zip-Ada

    Zip-Ada

    A standalone, portable Ada library for .zip archives

    Zip-Ada is a library for .zip archives. Full sources are in Ada and are unconditionally portable. Input and output can be any stream (file, buffer,...) for archive creation as well as data extraction. Task safe and endian-neutral. More information on: http://unzip-ada.sf.net Alire crate: https://alire.ada.dev/crates/zipada Mirror: https://github.com/zertovitch/zip-ada/
    Leader badge
    Downloads: 34 This Week
    Last Update:
    See Project
  • 7
    HAC Ada Compiler

    HAC Ada Compiler

    HAC Ada Compiler - small Ada compiler fully in Ada

    HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. More information on: http://hacadacompiler.sf.net For an editor integrated with HAC, check LEA: https://l-e-a.sf.net/ Pre-built binary for Windows: https://sf.net/projects/hacadacompiler/files/hac-2024-03-21-v.0.30-bin-win64.zip Alire crate: https://alire.ada.dev/crates/hac Mirror: https://github.com/zertovitch/hac
    Downloads: 21 This Week
    Last Update:
    See Project
  • 8
    Generic Image Decoder

    Generic Image Decoder

    A standalone, portable generic Ada package for decoding images

    The Generic Image Decoder is a package for decoding a broad variety of image formats, from any data stream, to any kind of medium. Unconditionally portable code: OS-, CPU-, compiler- independent code. More information on... http://gen-img-dec.sf.net Alire crate: https://alire.ada.dev/crates/gid Mirror: https://github.com/zertovitch/gid
    Downloads: 58 This Week
    Last Update:
    See Project
  • 9
    TeXCAD

    TeXCAD

    A simple LaTeX {picture} drawing tool

    TeXCAD is a program for drawing or retouching {picture}s in LaTeX. It extends the original {picture} capabilities, even without any obligatory LaTeX package, class or style sheet. Core of TeXCAD is totally portable. A MS Windows version is available. More information on... https://texcad.sourceforge.io/ Alire crate: https://alire.ada.dev/crates/texcad Mirror: https://github.com/zertovitch/texcad
    Downloads: 28 This Week
    Last Update:
    See Project
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    The database for AI-powered applications.

    MongoDB 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.
    Start Free
  • 10
    MAX! home automation
    MAX home automation is a GTK+ application to manage ELV/eQ-3 MAX! cubes. A cube is a gateway to a network of radiator thermostats, shutter contacts etc. Radiator and wall-mounted thermostat schedule can be edited uploaded, stored into a file and restored from there. Wall-mounted thermostat temperature graphs are indicated on a separate page sorted by the installation room. HTTP server is provided for integration with HTTP-enabled controls. E.g. thermostats can be queried and controlled remotely via HTTP GET-queries.
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 11
    AZip

    AZip

    AZip - A portable Zip Archive Manager

    AZip is a free Zip Archive Manager with unique features such as: built-in content Search, smart archive Update, archive Recompression. The goal is to keep the user interface as simple as possible and bother the user the least possible with options or useless gadgets. More details and screenshots on the AZip Web site: http://azip.sf.net Alire crate: https://alire.ada.dev/crates/azip Mirror: https://github.com/zertovitch/azip
    Downloads: 18 This Week
    Last Update:
    See Project
  • 12

    ghdl-updates

    GHDL - a VHDL simulator

    GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 13
    AdaControl

    AdaControl

    Ada source code controller

    A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 14
    Excel Writer

    Excel Writer

    A standalone, portable Ada package for producing Excel spreadsheets

    Excel_Out is a standalone, portable Ada package for writing Excel spreadsheets with basic formattings and formulas, easily and programmatically. Enables the automatic production of reports. No interaction needed with Excel or MS Office. More information on: http://excel-writer.sf.net Alire crate: https://alire.ada.dev/crates/excel_writer Mirror: https://github.com/zertovitch/excel-writer
    Leader badge
    Downloads: 7 This Week
    Last Update:
    See Project
  • 15

    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.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 16
    Ada PDF Writer

    Ada PDF Writer

    A standalone, portable package for producing dynamically PDF documents

    PDF_Out is an Ada package for writing easily PDF files dynamically. Enables the automatic production of reports. Standalone and unconditionally portable code. No external resource is needed. More information on... http://apdf.sf.net Alire crate: https://alire.ada.dev/crates/apdf Mirror: https://github.com/zertovitch/ada-pdf-writer
    Downloads: 23 This Week
    Last Update:
    See Project
  • 17
    Mathpaqs

    Mathpaqs

    A collection of mathematical packages in pure Ada

    Various mathematical packages including algebra, finite elements, random variables, probability dependency models, unlimited integers. Pure Ada, fully portable. More information on... http://mathpaqs.sf.net Alire crate: https://alire.ada.dev/crates/mathpaqs Mirror: https://github.com/zertovitch/mathpaqs
    Downloads: 18 This Week
    Last Update:
    See Project
  • 18
    Strings Edit

    Strings Edit

    String editing and formatting library for Ada

    Strings edit is a library that provides I/O facilities for integers, floating-point numbers, Roman numerals, and strings. Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size field with padding. Numeric input can be checked against expected values range to be either saturated or to raise an exception. For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings are supported, including wildcard pattern matching, sets and maps of code points, upper/lowercase, and other Unicode categorizations.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 19
    Ahven

    Ahven

    Unit testing framework for Ada

    Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 20
    Ada Bar Codes

    Ada Bar Codes

    Bar Code (1D or 2D) generator in pure Ada

    The project Ada Bar Codes provides a framework for generating various types of bar codes (1D, or 2D, like QR codes) on different output formats and devices. Alire crate: https://alire.ada.dev/crates/bar_codes Mirror: https://github.com/zertovitch/ada-bar-codes
    Downloads: 9 This Week
    Last Update:
    See Project
  • 21
    GLOBE_3D

    GLOBE_3D

    A real-time 3D Engine written in Ada

    GLOBE_3D: GL Object Based Engine for 3D. GLOBE_3D is a free, open-source, real-time 3D Engine written in Ada, based on OpenGL. Up-to-date GL bindings - portal rendering - binary space partition - object I/O - tools for importing - and more... More information on... http://globe3d.sf.net Alire crate: https://alire.ada.dev/crates/globe_3d Mirror: https://github.com/zertovitch/globe-3d/
    Downloads: 9 This Week
    Last Update:
    See Project
  • 22
    ULID-Ada

    ULID-Ada

    Implementation of ULID in Ada

    A ULID code (Universally Unique Lexicographically Sortable Identifier) is a combination of a 48-bit time stamp (most significant part, with a millisecond accuracy), and a 80-bit random number (least significant part), totalling 128 bits, that is 16 bytes (octets). The package ULID provides two functions Generate. One function produces a 128-bit number that can be output (for instance) in the UUID format. One function produces a string in the Base32 format (Crockford variant) - the preferred (canonical) representation of a ULID. Additionally, the Generate_Monotonic function enables the production of a monotonically increasing sequence of ULID numbers within the same millisecond. Alire crate: https://alire.ada.dev/crates/ulid Mirror: https://github.com/zertovitch/ulid
    Downloads: 9 This Week
    Last Update:
    See Project
  • 23
    Agar

    Agar

    Cross Platform GUI Toolkit

    Agar provides a base GUI framework and a standard set of widgets from which graphical applications can be built which run natively under X11, Windows, MacOS X, SDL and others. It takes advantage of texture and GPU acceleration wherever available. Agar can also attach to an existing framebuffer, SDL or OpenGL context and operate as a self-contained window-manager. It includes a standard library of general-purpose widgets, and is also designed to be extended externally. New widgets can be implemented as part of an application or library. Complex user interface elements can be realized often in few lines of code. Agar is also extensible at the low-level. The low-level API is documented such that modular drivers can be written which enable Agar applications to work seamlessly under many platforms graphics systems without any change at the application level.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 24
    Simple components for Ada

    Simple components for Ada

    A software components library

    The Simple components for Ada library provides implementations of smart pointers for automatically collected objects (using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic sets, maps, arbitrary precision arithmetic, B-trees, directed graphs, directed weighted graphs, stacks, and storage pools. It also includes table management, string editing, IEEE 754 support, and infix expression parsing tools. Implementations of some lock-free shared data structures are provided.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 25
    gnoga

    gnoga

    gnoga - The GNU Omnificent GUI for Ada

    Gnoga uses modern web technologies to allow simple creation of cross platform GUIs for Ada with native or custom look and feels that perform on par to native toolsets locally and can be easily and securely remoted as web apps over the internet as well.
    Downloads: 5 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • 4
  • 5
  • Next
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.