54 Open Source Ada Software Projects

Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)

A curated list of awesome resources related to the Ada and SPARK programming language

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

Id Software's Id-tech-4-BFG in the Ada programming language.

Cross-Platform GUI Toolkit (stable)

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)

Command-line tool from the Alire project and supporting library

Roguelike in sky with a steampunk setting

Thick Ada binding for OpenGL and GLFW

Ada Bare Bones OS development tutorial source code

Ada 2012 bindings to SDL 2

Awesome resources and other links related to the Ada programming language

A secure and high performances microkernel for building secure MCU-based IoTs

A re-implementation of the Cardano ledger layer, replacing the Byron release

Ada Web Application - Framework to build high performance secure web applications

General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64

Formal message specification and generation of verifiable binary parsers and message generators

A formal specification and executable model of the ledger rules introduced by the Shelley release

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

Cryptocurrency donation daemon

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

The OpenGL 4.6 Rendering Kernel in Ada 2012

Language agnostic scripting engine with a custom bytecode JIT

Operating System development experiment in Ada

experimental YAML 1.3 implementation in Ada

Node shell, a thin layer for running the node and it's modules.

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Ada WASM Runtime and Bindings for Web API

Simple blockchain in Ada

HAC Ada Compiler: an experimental Ada compiler, fully in Ada

Modern web accessibility audits. 💪

An Ada 2012 library for parsing JSON

Graphical File Manager for Linux

Ada Security - OAuth 2.0 client and server framework to secure web applications

An Ada binding for the OpenCL host API

Ada Database Objects

JSON/JWK/JWS/JWT/Base64 library in SPARK

Ada language support for VS Code

Framework for platform-independent SPARK components

Embeddable Forth interpreter written in Ada

Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes

ever wondered how to run jupyter notebook on servers like ada?

A GameBoy emulation library in Ada

Formally verified, bounded-stack XML library

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OS-X, & most Linux distros. A tribute to Narbacular Drop with mind bending geometry.

Yet another hypervisor detection tool

A library of algorithms for coin selection and fee balancing.

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem

GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images

SPARK Proof Analysis Tool

Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.

Yet Another Static Site (Generator)