Open-Awesome
CategoriesAlternativesStacksSelf-HostedExplore
Open-Awesome

© 2026 Open-Awesome. Curated for the developer elite.

TermsPrivacyAboutGitHubRSS
  1. Home
  2. Tags
  3. Ada

Ada

183 projects

Showing 36 of 183 projects

ada-time
ada-timeAda

Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.

#wearable#embedded-systems#bare-metal
Stars18
Forks2
Last commit10 years ago
ada-bar-codes
ada-bar-codesAda

A pure Ada library for generating 1D and 2D bar codes (including QR codes) in PDF, SVG, and PNG formats.

#pure-ada#ada-library#bar-code-generation
Stars17
Forks0
Last commit8 months ago
cbsg
cbsgAda

A high-performance random text generator focused on corporate language, producing AI-inspired business jargon.

#alire-package#fun#natural-language
Stars17
Forks2
Last commit1 month ago
cappulada
cappuladaPython

Generate Ada bindings for C++ code, supporting complex features like object orientation and templates.

#spark#programming-tools#ada
Stars17
Forks4
Last commit6 years ago
ada-id
ada-idAda

An Ada library for generating UUIDs with support for random, name-based, and string-conversion operations.

#library#unique-identifier#distributed-systems
Stars16
Forks1
Last commit4 years ago
azip
azipAda

AZip: a free, portable Zip Archive Manager

#ada#zip#archive
Stars16
Forks0
Last commit1 month ago
Ada 2022 Reference Card
Ada 2022 Reference CardTeX

A comprehensive reference card and cheatsheet for Ada programming language attributes, aspects, pragmas, and standard library packages.

#programming-language#aspects#packages
Stars15
Forks3
Last commit2 years ago
ada-asf
ada-asfJavaScript

A web application framework for Ada that implements the Java Server Faces (JSF) specification pattern.

#component-based#ada#java-server-faces
Stars15
Forks4
Last commit1 month ago
analytical-engine
analytical-engineAda

An Ada 2012 emulator of Charles Babbage's Analytical Engine, the pioneering mechanical computer design.

#charles-babbage#gmp#ada-2012
Stars15
Forks3
Last commit4 years ago
mathpaqs
mathpaqsAda

Mathpaqs: a collection of mathematical packages in pure Ada

#ada-library#ada#matrix
Stars15
Forks5
Last commit2 months ago
gnatcoll-bindings
gnatcoll-bindingsAda

Ada bindings to C libraries including GMP, Python, Readline, and Syslog for the GNAT Components Collection.

#python-integration#gmp#library
Stars15
Forks15
Last commit5 months ago
wasabee
wasabeeAda

A web browser fully written in Ada with a focus on safety, currently in early development.

#gui-application#ada#safety-first
Stars14
Forks0
Last commit6 months ago
gnatcoll-db
gnatcoll-dbC

A collection of Ada database components providing SQL database access and abstraction layers.

#database#ada#database-abstraction
Stars14
Forks23
Last commit8 months ago
cmake-ada-offa
cmake-ada-offa

Adds Ada language support to CMake for building Ada applications and libraries.

#compiler-support#static-libraries#ada
Stars13
Forks5
Last commit11 years ago
alr2appimage
alr2appimageAda

Automatically creates AppImage executables from Alire crates for easy Linux distribution.

#portable-applications#packaging#executable-packaging
Stars13
Forks1
Last commit1 year ago
ada-lsp
ada-lspAda

An implementation of the Language Server Protocol for the Ada programming language, enabling IDE features like auto-complete and goto definition.

#vscode-extension#ide-integration#ada
Stars12
Forks2
Last commit8 years ago
tcl-ada-shell
tcl-ada-shellAda

Ada bindings to Tcl/Tk for implementing Tcl commands in Ada and developing platform-independent graphical user interfaces.

#gui-toolkit#language-binding#interpreter
Stars12
Forks2
Last commit3 years ago
lace
laceAda

A set of Ada components for developing 3D simulations, games, and GUI applications with support for distributed systems.

#event-driven#opengl#embedded
Stars12
Forks2
Last commit6 days ago
parse-args
parse-argsAda

An Ada 2012 library for parsing command-line arguments, inspired by Python's argparse.

#open-source#library#ada-2012
Stars12
Forks2
Last commit4 years ago
ada-ml
ada-ml

A UML modeling language tailored for Ada 2012, implemented in PlantUML to design and visualize Ada software components.

#ada-2012#modeling-language#ada
Stars12
Forks2
Last commit3 years ago
acats
acatsAda

A customized version of the Ada Conformity Assessment Test Suite for testing GCC Ada compilers.

#programming-language#gcc#software-validation
Stars12
Forks3
Last commit2 years ago
adage
adageAda

A nimble alternative to doas and sudo for privilege escalation, designed to be simple, safe, and secure.

#spark#sudo#ada
Stars12
Forks0
Last commit1 year ago
ada-winrt
ada-winrtAda

Ada language bindings for the Microsoft Windows WinRT API, enabling Windows Store and Desktop application development.

#gcc#gpr-build#async-programming
Stars11
Forks3
Last commit6 years ago
coldframe
coldframeAda

Generates Ada framework code and documentation from UML models using XSLT transformations.

#framework-generator#model-driven-development#argouml
Stars10
Forks2
Last commit2 years ago
covid-19-simulator
covid-19-simulatorAda

A multi-engine COVID-19 simulator with Ada and Qt5, implementing Lancet and XPH Pharmaceutical models.

#epidemiology#desktop-application#scientific-computing
Stars10
Forks1
Last commit5 years ago
ini-files
ini-filesAda

A standalone, portable Ada package for reading and modifying configuration files in the INI format.

#ada-library#library#cfg-files
Stars9
Forks2
Last commit2 years ago
gnatcoll-json
gnatcoll-jsonAda

A library providing JSON serialization/deserialization utilities for Ada standard containers and runtime types.

#runtime-types#ada#deserialization
Stars9
Forks4
Last commit3 years ago
excel-writer
excel-writerAda

A standalone Ada package for generating Excel spreadsheets from Ada applications.

#ada-library#excelwriter#excel-writer
Stars9
Forks1
Last commit1 month ago
bingada
bingadaAda

A simple bingo application built with GtkAda for playing at home, featuring manual/auto play, card checking, and multi-language support.

#multi-language#desktop-application#gui-toolkit
Stars9
Forks2
Last commit3 years ago
stotp
stotpAda

A formally verified TOTP library for two-factor authentication, implemented in SPARK with runtime error guarantees.

#totp#spark#authentication
Stars9
Forks1
Last commit7 years ago
inotify-ada
inotify-adaAda

An Ada 2012 library for monitoring filesystem events using Linux's inotify API.

#filesystem#library#ada-2012
Stars9
Forks3
Last commit1 year ago
ada-servlet
ada-servletAda

A web servlet library for Ada that implements the Java Servlet specification (JSR 154, JSR 315).

#http-server#server-side#jsr-154
Stars9
Forks3
Last commit1 month ago
spark-norx
spark-norxAda

An Ada/SPARK implementation of the NORX authenticated encryption algorithm, formally verified for security.

#spark#ada#norx
Stars9
Forks0
Last commit8 years ago
ada-promises
ada-promisesAda

A type-safe, efficient, and thread-safe implementation of promises for the Ada programming language.

#asynchronous-programming#thread-safety#callback-pattern
Stars9
Forks2
Last commit9 years ago
si_units
si_unitsAda

An Ada library for formatting physical values with proper metric (SI) unit scaling and prefixes.

#ada-library#scientific-computing#ada2012
Stars9
Forks4
Last commit5 years ago
template-parser
template-parserAda

An Ada library and tool for creating templated text streams like dynamic HTML documents.

#library#template-engine#ada
Stars9
Forks20
Last commit25 days ago
PreviousPage 3 of 6Next

Related Tags

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a projectStar on GitHub
#Ada Language50
#Gnat34
#Cross Platform27
#Alire24
#Formal Verification23
#Library21
#Embedded Systems20
#Spark18
#Ada 201215
#Programming Language15
#Ada Library12
#Cryptography11