Open Source Ada Operating System Kernels

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

  • Auth for GenAI | Auth0 Icon
    Auth for GenAI | Auth0

    Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

    Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview
    Try free now
  • Powering the best of the internet | Fastly Icon
    Powering the best of the internet | Fastly

    Fastly's edge cloud platform delivers faster, safer, and more scalable sites and apps to customers.

    Ensure your websites, applications and services can effortlessly handle the demands of your users with Fastly. Fastly’s portfolio is designed to be highly performant, personalized and secure while seamlessly scaling to support your growth.
    Try for free
  • 1
    Parallel Port Eprom Programmer contains a GNU/Linux driver that controls the eprom programmer throught the parallel port and a tool which allows reading and writing eproms.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 2
    The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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
  • 4
    Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
    Downloads: 0 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
  • 5
    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
  • 6
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A security intensive kernel written in Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 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.