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

rufas-cube
rufas-cubeAda

A unique 3D slider puzzle game resembling a Rubik's Cube, but based on sliding mechanics, available for Windows, macOS, and Linux.

#slider#opengl#slider-puzzle
Stars5
Forks0
Last commit6 months ago
weechat-ada
weechat-adaAda

Ada 2012 library for developing WeeChat plug-ins, providing bindings to WeeChat's C API.

#weechat-plugins#library#ada-2012
Stars4
Forks0
Last commit4 years ago
xia
xiaAda

A native Ada implementation of the XPath 1.0 specification for querying XML documents.

#ada-implementation#ada#dom
Stars4
Forks0
Last commit2 years ago
j2ada
j2adaAda

J2Ada translates valid Java source code into Ada source code, supporting a large portion of Java syntax.

#programming-language#source-translation#automate-sequencer
Stars4
Forks2
Last commit4 years ago
dhondt
dhondtAda

Ada implementation of the D'Hondt method for calculating party-list proportional representation election results.

#vote-calculation#electoral-calculator#ada
Stars4
Forks0
Last commit6 years ago
increment
incrementAda

An Ada library for incremental lexical and syntactic analysis of program text, primarily for IDE construction.

#parsing#incremental#software-development-tools
Stars4
Forks0
Last commit5 years ago
engine-3d
engine-3dAda

A pure software 3D engine for DOS and Linux, featuring real-time rendering with dynamic lighting, animated textures, and portal rendering.

#real-time-graphics#open-source#retro-computing
Stars4
Forks1
Last commit6 months ago
canberra-ada
canberra-adaAda

Ada 2012 bindings for libcanberra, enabling sound playback in Ada applications.

#desktop-audio#ada-2012#audio-bindings
Stars4
Forks1
Last commit4 years ago
world-cup-sokerban
world-cup-sokerbanAda

A soccer-themed 3D Sokoban puzzle game with embedded autosolvers, featuring Andres Cantor's voice commentary.

#opengl#ada#sokoban
Stars4
Forks0
Last commit6 months ago
testy
testyAda

A testing framework for Ada, part of the Tada ecosystem, providing assertion-based unit testing.

#tada#software-testing#programming-language
Stars4
Forks0
Last commit3 months ago
ada-lisp-embedded
ada-lisp-embeddedAda

Extensions to the Tiny Lisp language for embedded applications on Arduino Due and Raspberry Pi platforms.

#lisp-interpreter#embedded-systems#arduino-due
Stars4
Forks0
Last commit2 years ago
acats-grading
acats-gradingShell

A Unix-compatible tool suite for grading Ada Conformity Assessment Test Suite (ACATS) results, originally adapted from Windows utilities.

#test-grading#unix-tools#ada
Stars4
Forks1
Last commit2 years ago
ada-ga
ada-gaAda

A genetic algorithm library for Ada with binary chromosomes, elitism, mutation, and crossover operations.

#algorithm#genetic-algorithms#library
Stars3
Forks1
Last commit3 years ago
Straylight
StraylightAda

A 64-bit RISC-V hobby monolithic kernel written in Ada, supporting pre-emptive multitasking and VirtIO devices.

#monolithic-kernel#virtio#hobby-os
Stars3
Forks0
Last commit7 days ago
ada-win32
ada-win32Ada

Ada language bindings for the Microsoft Win32 API, generated from Windows 10 SDK headers.

#gcc#windows-development#ada
Stars3
Forks0
Last commit6 years ago
adawebui
adawebuiAda

A Web UI framework built with Ada and WebAssembly for creating interactive web applications.

#webassembly#opengl#ada
Stars3
Forks1
Last commit4 years ago
tictactoe
tictactoeAda

A tic-tac-toe game formally verified using the SPARK programming language to ensure correctness.

#spark#ada#game-development
Stars3
Forks6
Last commit9 years ago
base58-ada
base58-adaAda

Base58 encoding and decoding implementation written in the Ada programming language.

#programming-language#algorithm#ada
Stars3
Forks0
Last commit8 years ago
scripted-testing
scripted-testingAda

A functional testing framework for Ada software using Tcl scripts to simulate and verify interactions with system components.

#tcl#ada#system-testing
Stars2
Forks1
Last commit3 years ago
ada-libsecret
ada-libsecretAda

Ada binding for the libsecret library, enabling secure password and secret storage using the Secret Service API.

#kde-wallet#ada#keyring
Stars2
Forks0
Last commit2 years ago
tashy2
tashy2Ada

Ada 2012 binding to Tcl/Tk that enables interoperability between Tcl scripts and Ada code.

#ada-binding#multi-language-support#gui-toolkit
Stars2
Forks0
Last commit4 years ago
opus-ada
opus-adaAda

Ada 2012 bindings for the Opus audio codec, providing encoder and decoder functionality.

#audio-encoding#ada-2012#opus
Stars2
Forks0
Last commit4 years ago
weechat-emoji
weechat-emojiAda

A WeeChat plugin written in Ada 2012 that displays emoji in the chat client.

#chat-enhancement#emoji#open-source
Stars2
Forks0
Last commit4 years ago
asis2xml
asis2xmlAda

Converts Ada source code's ASIS representation to XML for easier analysis and transformation using tools like XSLT.

#semantic-analysis#ada#compiler-tools
Stars2
Forks1
Last commit7 years ago
hungarian-algorithm
hungarian-algorithmAda

A fully functional implementation of the Hungarian Algorithm in Ada for solving assignment problems with minimal cost.

#algorithm-implementation#ada#hungarian-algorithm
Stars2
Forks0
Last commit8 months ago
ada-lsp-client
ada-lsp-clientC#

A prototype Language Server Protocol client for Ada language support in Visual Studio 2017.

#prototype#ide-integration#ada
Stars1
Forks1
Last commit7 years ago
free-type-ada
free-type-adaAda

A thick Ada 2012 binding to the FreeType library for font rendering in Ada applications.

#ada-binding#font-rendering#ada-2012
Stars1
Forks0
Last commit5 years ago
macos-sdks-vs-gcc
macos-sdks-vs-gccAda

Provides GCC 'specs' files to help GCC find macOS SDK headers and libraries after Apple's policy changes.

#gcc#compiler-toolchain#fsf-gcc
Stars1
Forks0
Last commit5 years ago
ada-vscode
ada-vscode

A Visual Studio Code extension providing basic syntax highlighting and code snippets for Ada and GPR programming languages.

#programming-language#gnat-toolchain#vscode-extension
Stars1
Forks2
Last commit7 years ago
sip-hash
sip-hashAda

A pure Ada implementation of the SipHash pseudorandom function optimized for speed on short messages.

#dos-protection#pseudorandom-function#authentication
Stars1
Forks1
Last commit12 years ago
weechat-canberra
weechat-canberraAda

A WeeChat plugin written in Ada 2012 that plays sounds using libcanberra for message notifications.

#chat-tools#open-source#ada-2012
Stars1
Forks0
Last commit4 years ago
blake2s
blake2sAda

A SPARK83 implementation of the BLAKE2s hash function for Ada 1987, designed for resource-constrained platforms.

#hash#ada#spark-ada
Stars1
Forks1
Last commit4 years ago
ajunitgen
ajunitgenAda

A lightweight Ada library for generating JUnit-compatible XML test reports without requiring a full test framework.

#unit-testing#ada#junit
Stars1
Forks1
Last commit4 years ago
licensing
licensingAda

An Ada library providing implementations of common open-source licenses from Choosealicense.com.

#open-source#library#ada
Stars0
Forks0
Last commit8 years ago
anuklear
anuklearC

Ada 2022 language bindings to the Nuklear immediate-mode GUI library.

#ada-2022#gamedev#ada
Stars0
Forks1
Last commit11 months ago
wiring-pi-ada
wiring-pi-adaAda

Ada bindings for the wiringPi GPIO library, enabling Ada developers to interface with Raspberry Pi GPIO pins.

#embedded-systems#raspberrypi#hardware-interfacing
Stars0
Forks0
Last commit8 years ago
PreviousPage 5 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