77 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

Mirror of 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 - a small, quick Ada compiler fully in Ada

Modern web accessibility audits. 💪

An Ada 2012 library for parsing JSON

Mirror of 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. Pure Ada 2005, supports Linux and FreeBSD

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.

Mirror of Yet Another Static Site (Generator)

Examples for getting started with SDL2, for over 12 different programming languages

A Cardano Developer Guide

This is a collection of ROT13 encoding programms written in different languages. Just for fun.

A work-in-progess programming language modeled after Ada and C++

Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)

Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE

Open source pocket synthesizer

An attempt at a minimalistic and secure operating system.

Go module for the Cardano Blockchain

golang library for Cardano network, it is used and maintained by Bitrue(Alonzo compatibled)

[DEPRECATED] Generate Ada bindings to C++ code

A guide for learning about the Ada Programming Language.

GLOBE_3D: a real-time 3D Engine written in Ada

Ada support for Swagger codegen

LEA is a Lightweight Editor for Ada

Dynamo Ada Application Code Generator

AdventOfCode solution written in Ada programming language

Tool to make SQL benchmark on different drivers, languages and databases

Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344

This is an Open-Source, community-driven project for the creation of a documentation hub for Raspberry Pi and ARM Cardano Stake Pool Operators.

Some of my laboratories work in KPI and stuff connected with it. Can be called "palevo".

The Google Protocol Buffers implementation in Ada

Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents