🇺🇸 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.
onox/orka
The OpenGL 4.6 Rendering Kernel in Ada 2012
AdaCore/VSS
High level string and text processing library
cubesatlab/cubedos
A flight software framework in SPARK/Ada
AdaCore/gnatcoll-core
GNAT Components Collection – Core packages
dsanson/Words
A Latin-English Dictionary Program
UnstableDesign/AdaCAD
AdaCAD is an experimental workspace that applies parametric design to the domain of weave drafting. It supports algorithmic and playful approaches to developing woven structures and cloth, for shaft and jacquard looms.
onox/json-ada
An Ada 2012 library for parsing JSON
JeremyGrosser/rp2040_hal
Ada drivers for the Raspberry Pi RP2040 SoC
Apress/beginning-ada-programming
Source Code for 'Beginning Ada Programming' by Andrew T. Shvets
serock/pla-util
A power line adapter utility for Linux
AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
AdaCore/Certyflie
JeremyGrosser/pico_examples
Ada examples for the Raspberry Pi Pico
AdaCore/ada-traits-containers
Generic Ada Library for Algorithms and Containers
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.
lasp/adamant
Adamant - An embedded software framework
BrentSeidel/Ada-Lisp
Tiny Lisp Interpreter Written in Ada
karakalo/lumen
OpenGL GUI toolkit library for Ada
AdaCore/startup-gen
A startup code generator for embedded projects
pchapin/thumper
A secure timestamp client/server
AdaCore/PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
AdaCore/xmlada
The XML/Ada toolkit.
AdaCore/training_material
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 Amelia Earhart & Narbacular Drop with mind bending spacial interconnections.
rowsail/AdaForMicrocontrollers
Ada For Microcontrollers (GPL)
morbos/STM32
AdaCore/cuda
AdaCore/libadalang-tools
Libadalang-based tools
AdaCore/win32ada
Ada API to the Windows library
AdaCore/spawn
JeremyGrosser/pico_bsp
Ada BSP for the Raspberry Pi Pico
AdaCore/Robotics_with_Ada
Robotics with Ada, ARM, and Lego
karakalo/old-lumen
GUI toolkit for Ada using OpenGL
AdaCore/embedded-runtimes
runtimes that add support for various boards to the GNAT GPL compiler for ARM
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.
AdaCore/gpr
The framework for analyzing the GNAT Project (GPR) files
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
vaartis/hellish
A private torrent tracker and IRC server
Robert-Tice/AdaRoombot
Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.
AdaCore/UnityAdaTetris
BrentSeidel/Sim-CPU
CPU Simulations written in Ada
DevMajed/RF-Microwave-Engineering
RF and Microwave design projects using ADS, HFSS, and other tools
AdaCore/markdown
Markdown parser
onox/inotify-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
JeremyGrosser/rp
Ada on RP2040 proof of concept
coopht/axmpp
rtyler/memcache-ada
Experimental memcached client implemented in Ada
rtyler/ironsides
Fork of the SPARK-based DNS server
OS108/OAC
Ada compiler
BrentSeidel/BBS-BBB-Ada
A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi
NCommander/dnscatcher
A tool to look at and review DNS data inflight
AdaCore/aunit
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
lasp/adamant_example
Example repository demonstrating the Adamant software framework
AdaCore/labs-material
Support Libraries for AdaCore University Labs
Jasonluo666/COMP2310-Concurrent-and-Distributed-Systems
Repository for COMP2310 Concurrent and Distributed System
AdaCore/RC_Car_Demo
An embedded Ada/SPARK demo
karakalo/lumen-demos
Simple demonstration applications for the Lumen library
MLH/mlh-localhost-adacore
Sample application for MLH Localhost: Bug-free programming with SPARK Ada
onox/wayland-ada
Ada 2012 bindings for Wayland
GeertBosch/lisp
LISP 1.5 implementation using Ada 2012
BrentSeidel/BBS-Ada-Widgets
A collection of Gtk widgets written in Ada for use with Gtkada
AdaCore/ada-py-bind
JeremyGrosser/epoll-ada
Ada binding for Linux epoll
AdaCore/Compile_And_Prove_Demo
Demo project for new web site: Compile It! / Prove It!
AdaCore/SPARK_Railway_Simulation_Demo
AdaCore/RESSAC_Use_Case
A Collaborative Development Assurance Lab
hex-five/multizone-ada
MultiZone® Security SDK for Ada
onox/dcf-ada
An Ada 2012 library for document container files
AdaCore/templates-parser
AWS templates engine.
Entomy/Ada-exploits
A collection of disturbingly easy exploits in Ada
morbos/gnat2015
gnat2015 for TI Hercules RM46 and RM57
frank-at-adacore/code_obfuscator
Application to change object names in an Ada file or project
rtyler/fucked-ada
A brainfuck interpreter written in Ada
rtyler/redis-ada
Redis client written in Ada
rtyler/euler-ada
A number of project euler solutions written in Ada, with an eye towards good software design
janverschelde/AdaEuropeTutorial
Sample code for a tutorial at a Ada Europe 2021 tutorial on parallel shared memory programming.
theotarr/wordsjson
JSON wrapper for the WORDS program.
Robert-Tice/SPARKZumo
SPARK for Arduino using Zumo Arduino Shield
AdaCore/program_proofs_in_spark
This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.
onox/evdev-ada
An Ada 2012 library to read input events and use force-feedback using Linux' evdev API
AdaDoom3/Ada3DS
A simple 3DS Max model renderer