Open Source Ada Software - Page 8

Ada Software

Ada Clear Filters

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

  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1
    Everything for the best Polish UDP LAN communicator Wszystko dla najlepszego polskiego chata sieciowego - RivChat
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Professional music typesetting, according to the book "The Art Of Music Copying" by Clinton Roemer. Reads MusicXML, CMN, ABC and Guido. Produces MIDI, EPS, PDF, PNG and SVG; from small images for the web to full printable sheet music.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    RufaSwap

    RufaSwap

    Permuted picture puzzle, allows using your own PNG pictures.

    RufaSwap, is a simple permuted picture puzzle where the challenge is to restore the picture elements to their proper order. Two elements are selected with cursor clicks to initiate a swap. User controls the level of difficulty. The proper command to extract the archive and maintain the directory structure is "7z x filename". Works on Macs running OS-X, PCs running GNU/Linux, and PCs running Windows. Also see: https://sourceforge.net/projects/adagate/ https://sourceforge.net/projects/rufascube/ https://sourceforge.net/projects/rufasslider/ https://sourceforge.net/projects/sevenslider/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 5
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Safir SDK Core

    Safir SDK Core

    For Truly Distributed Systems

    This is the home of the development of the Safir SDK Core open source platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    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: 0 This Week
    Last Update:
    See Project
  • 8
    A security intensive kernel written in Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A simple (almost a demo) ERP written using the AdaWorks framework (http://adaworks.net/adaworks)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Streamline Azure Security with Palo Alto Networks VM-Series Icon
    Streamline Azure Security with Palo Alto Networks VM-Series

    Centrally manage physical and virtualized firewalls with Panorama

    Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
    Learn more
  • 10
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Simple, interface oriented input/process/output framework for Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    SEDModeEd is a GUI mode editor. It can create and modify modefiles for the RISC OS text editor StrongED.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Text-Oriented Messaging Interfaces for Ada. Wrappers for various client/server and pub/sub messaging protocols, focusing exclusively on text message communications. Currently supporting AMQP, STOMP, and ZeroMQ.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Tables for Ada

    Tables for Ada

    Tables indexed by strings

    This library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key- insensitive tables are supported.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    The Nexus Operating System is a planned, realtime multimedia operating system compliant with POSIX standards. Nexus is intended not to become the next fad; it is the OS all developers can develop for without losing market standing in other OS's.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17

    Ultrason

    Virtual MIDI Composer Plug-ins based

    Virtual MIDI Composer Plug-ins based Run song list potentialy in loop and auto play. Written with Ada and GtkAda 2016 and portmidi. GNU/Linux and MS Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    UniParser is a parser toolkit for creating grammar parsers of streams (of e.g. Unicode characters) with Ada 95 programming language. (If you will request, I may port it to C++.) Very feature rich, flexible, and extensible; however somehow slow and bloate
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Units of measurement for Ada

    Units of measurement for Ada

    Handling dimensioned values in Ada

    The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    WLAN 802.11 frame analyzer with educational purposes it will show on different windows : the measures, the MAC data frames, the MAC control frames... Programmed for linux systems using ADA. keywords: ADA, wifi, 802.11, ENST.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    vsman is a server-side volume sharing manager, with a gtk interface. It is currently limited to NFS v3 and NFS V4.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    WTelecom is a RealTime Software to manage a telecom network. This prototype can be implemented for a production use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Warborg-repost

    Warborg-repost

    Warborg is Wargames movie based game

    Search and destroy anothers WOPR with more weapons
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB