🇺🇸 Made in United States
Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.
TOP Ada Projects
AdaCore/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
AdaDoom3/AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
AdaCore/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
AdaCore/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
AdaCore/gnat-llvm
LLVM based GNAT compiler
AdaCore/libadalang
Ada semantic analysis library.
AdaCore/aws
AWS is a complete framework to develop Web based applications in Ada.
AdaCore/learn
Sources for learn.adacore.com
AdaCore/gtkada
Ada bindings for the GTK+ graphical library.
AdaCore/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
AdaCore/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
AdaCore/svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
janverschelde/PHCpack
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
AdaCore/VSS
High level string and text processing library
onox/orka
The OpenGL 4.6 Rendering Kernel in Ada 2012
cubesatlab/cubedos
A flight software framework in SPARK/Ada
AdaCore/gnatcoll-core
GNAT Components Collection – Core packages
serock/pla-util
A power line adapter utility for Linux
dsanson/Words
A Latin-English Dictionary Program
AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
JeremyGrosser/rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC
onox/json-ada
An Ada 2012 library for parsing JSON
lasp/adamant
A model-based flight software framework for Ada
Apress/beginning-ada-programming
Source Code for 'Beginning Ada Programming' by Andrew T. Shvets
AdaCore/Certyflie
JeremyGrosser/pico_examples
Ada examples for the Raspberry Pi Pico
AdaCore/ada-traits-containers
Generic Ada Library for Algorithms and Containers
AdaCore/startup-gen
A startup code generator for embedded projects
karakalo/lumen
OpenGL GUI toolkit library for Ada
fastrgv/CoTerminalApps
In December of 2022, I split these ascii puzzles & arcade games into 2 separate Apps: a) "SliderPuzzles" & b) "RetroArcade". Please get updates from there.
BrentSeidel/Ada-Lisp
Tiny Lisp Interpreter Written in Ada
AdaCore/xmlada
The XML/Ada toolkit.
pchapin/thumper
A secure timestamp client/server
fastrgv/AdaGate
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
AdaCore/PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
AdaCore/training_material
morbos/STM32
rowsail/AdaForMicrocontrollers
Ada For Microcontrollers (GPL)
AdaCore/cuda
AdaCore/win32ada
Ada API to the Windows library
AdaCore/libadalang-tools
Libadalang-based tools
AdaCore/gpr
The framework for analyzing the GNAT Project (GPR) files
AdaCore/Robotics_with_Ada
Robotics with Ada, ARM, and Lego
AdaCore/spawn
awslabs/LibMLKEM
fastrgv/AdaVenture
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
karakalo/old-lumen
GUI toolkit for Ada using OpenGL
JeremyGrosser/pico_bsp
Ada BSP for the Raspberry Pi Pico
AdaCore/embedded-runtimes
runtimes that add support for various boards to the GNAT GPL compiler for ARM
AdaCore/gnatcoll-bindings
GNAT Components Collection – Bindings to C libraries
JeremyGrosser/notcursesada
Ada bindings for the notcurses text user interface library
rtyler/ada-playground
Collection of experiments with the Ada language
AdaCore/UnityAdaTetris
Robert-Tice/AdaRoombot
Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.
vaartis/hellish
A private torrent tracker and IRC server
AdaCore/markdown
Markdown parser
lasp/adamant_example
Example repository demonstrating the Adamant software framework
fastrgv/MATTA
Deciphers Morse code Audio WAV files using Ada. Use it to send secret messages to your friends as a WAV file.
coopht/axmpp
JeremyGrosser/rp
Ada on RP2040 proof of concept
BrentSeidel/Sim-CPU
CPU Simulations written in Ada
onox/inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
rtyler/ironsides
Fork of the SPARK-based DNS server
rtyler/memcache-ada
Experimental memcached client implemented in Ada
DevMajed/RF-Microwave-Engineering
RF and Microwave design projects using ADS, HFSS, and other tools
UCLA-VAST/TAPA-CS
NCommander/dnscatcher
A tool to look at and review DNS data inflight
karakalo/lumen-demos
Simple demonstration applications for the Lumen library
AdaCore/templates-parser
AWS templates engine.
BrentSeidel/BBS-BBB-Ada
A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
AdaCore/labs-material
Support Libraries for AdaCore University Labs
Jasonluo666/COMP2310-Concurrent-and-Distributed-Systems
Repository for COMP2310 Concurrent and Distributed System
onox/emojis
An Ada 2012 library to replace names between colons with emojis
onox/xoshiro
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators
OS108/OAC
Ada compiler
onox/wayland-ada
Ada 2012 bindings for Wayland
AdaCore/aunit
AdaCore/RESSAC_Use_Case
A Collaborative Development Assurance Lab
MLH/mlh-localhost-adacore
Sample application for MLH Localhost: Bug-free programming with SPARK Ada
BrentSeidel/BBS-Ada-Widgets
A collection of Gtk widgets written in Ada for use with Gtkada
GeertBosch/lisp
LISP 1.5 implementation using Ada 2012
AdaCore/florist
Entomy/Ada-exploits
A collection of disturbingly easy exploits in Ada
AdaCore/ada-py-bind
AdaCore/RC_Car_Demo
An embedded Ada/SPARK demo
rtyler/redis-ada
Redis client written in Ada
theotarr/wordsjson
JSON wrapper for the WORDS program.
rtyler/euler-ada
A number of project euler solutions written in Ada, with an eye towards good software design
morbos/gnat2015
gnat2015 for TI Hercules RM46 and RM57
rtyler/fucked-ada
A brainfuck interpreter written in Ada
hex-five/multizone-ada
MultiZone® Security SDK for Ada
frank-at-adacore/code_obfuscator
Application to change object names in an Ada file or project
UnstableDesign/unstabledesign.github.io
A site that provides overviews and supports for all of our tools and repos. Accessible to developers and end users.
Entomy/letscode-cards
Repository for the cards game in the Let's Code video
Robert-Tice/SPARKZumo
SPARK for Arduino using Zumo Arduino Shield
AdaCore/Compile_And_Prove_Demo
Demo project for new web site: Compile It! / Prove It!
janverschelde/AdaEuropeTutorial
Sample code for a tutorial at an Ada Europe 2021 tutorial on parallel shared memory programming.
onox/dcf-ada
An Ada 2012 library for document container files
AdaCore/SPARK_Railway_Simulation_Demo