Showing 128 open source projects for "ada"

View related business solutions
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • 1
    Helena is an explicit state model checker for high-level Petri nets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    C2Ada
    C2Ada is a translator from the C programming language to the Ada programming language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Simple, interface oriented input/process/output framework for Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Start Free
  • 5
    Posix for GNAT
    Florist is an open-source implementaton of IEEE Standard 1003.5b-1996, the POSIX Ada binding, including real-time extensions and a test suite.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    GLADE for GNAT
    Providing an up to date implementations of Annex E (Distributed Systems) of the ISO standard ISO/IEC 8652:1995/COR1:2000 for GNAT.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Ada framework providing work sharing/seeking services for distributing work amongst CPU cores on multi-core machines.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Develop a set of Ada bindings to the Open Sourced Enea Linx drivers for Linux.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Ada for Netbeans
    Ada IDE based on NetBeans. See http://wiki.netbeans.org/Ada for more details.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Veeam Data Platform v13.1 Icon
    Veeam Data Platform v13.1

    Move workloads across hypervisors and clouds with no vendor lock-in. Try VDP free today.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try Now
  • 10
    The objective of CairoAda is to develop an Ada 95/05 binding for Cairo and certain related libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    The Widget Set for Super-Light Applications is a minimalist GUI toolkit written in Pascal. Rendering backends include Xlib, SDL and DirectFB. Visit our trac wiki for more information and updates: http://sourceforge.net/apps/trac/wiseslap
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Now,glew1.5.4 Ada binding out! We rewrite the translate-tool and the whole glew . C++ Ref from: https://sourceforge.net/projects/glew/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This project contains various examples, ported from Qt4 C++ to Ada language
    Downloads: 1 This Week
    Last Update:
    See Project
  • 15
    An Ada To ANSI C Compiler targeted towards small embedded systems who lacks an Ada compiler but have an ANSI C Compiler.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Admiral OS
    Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A Finite States Machine (FSM) implementation in Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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: 1 This Week
    Last Update:
    See Project
  • 19
    This is an Ada implementation of the Dancing Links X Algorithm as in Donald E. Knuth paper. AdaDLX is used to solve the Eight-Queens puzzle, Sudoku grids and Blocs in Box puzzle.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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
  • 21
    FracAda is the Ada 2005 implementation of the Fractal component model [http://fractal.ow2.org/] It is an experimental project using the GNAT (GPL) compiler
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    This is an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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
  • 25
    Plugins for integrating third party languages in Xcode (Objective-Caml, Fortran, Ada) - Xcode Plugin API description.
    Downloads: 0 This Week
    Last Update:
    See Project