Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
tlsada git.sr.ht
Bindings to the libtls TLS/SSL library.
-
linenoise-ada git.sr.ht
Bindings to the Linenoise line-editing library (patched to support UTF-8).
-
getopt-ada git.sr.ht
Portable implementation of getopt(3) in Ada.
-
greenhills-ada ghs.com
Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets.
-
ada-forum forum.ada-lang.io
Ada Forum at ada-lang.io.
-
ada-wikibook en.wikibooks.org
Ada Programming book at Wikibooks.
-
wisitoken elpa.gnu.org
An LALR, LR1, and Packrat parser generator and run-time.
-
simple-games drive.google.com
Learning Ada 2012 by writing simple games.
-
units-of-measurement dmitry-kazakov.de
Library to manage units of measurement with dimension checking.
-
simple-components dmitry-kazakov.de
ASN.1, MQTT client and server/broker implementation, B-trees, Multiple connection TCP servers, Chebyshev series, Mutexes, Cryptography, Objects and handles to, Doubly-linked webs and lists, ODBC bindings, Blackboards (lock-free), OpenSSL bindings, ELV/eQ-3 MAX! client…
-
aicwl dmitry-kazakov.de
Collection of packages provided for design of high-quality industrial control widgets for Ada applications.
-
discord-ada discord.gg
Ada Discord server.
-
pcsc-ada codelabs.ch
PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API.
-
dbus-ada codelabs.ch
The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system.
-
cuda-ada codelabs.ch
CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model.
-
anet codelabs.ch
Networking library for the Ada programming language.
-
alog codelabs.ch
Stackable logging framework for Ada.
-
adhcp codelabs.ch
Implementation of the DHCP protocol in Ada.
-
celebrating-ada celebratingada.com
Ada history key moments.
-
aflex-ayacc blog.vacs.fr
Ada scanner and parser generators.
-
unity-ada-tetris blog.adacore.com
Tetris, in Ada, for the Unity game engine.
-
adacore-blog blog.adacore.com
An insight into the AdaCore ecosystem.
-
bbedit-ada-module barebones.com
BBEdit support for Ada.
-
umbrello apps.kde.org
Unified Modelling Language (UML) diagram program based on KDE Technology. Outputs Ada.
-
ahven ahven.stronglytyped.org
A simple unit test library and framework for the Ada programming. language. It is loosely modelled after JUnit and some ideas from AUnit.
-
adacontrol adalog.fr
Ada constructs lint tool.
-
ada-distilled adaic.org
Ada Distilled for Ada 2005.
-
ada-craft adaic.org
Ada 95: The Craft of Object-Oriented Programming.
-
ada-ic-learning adaic.org
For additional learning resources, see the AdaIC learning section.
-
ada-resource-association adaic.org
Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”.
-
ada-information-clearinghouse adaic.org
News and resources for the Ada programming language.
-
ada-safe-secure adacore.com
Safe and Secure Software. An invitation to Ada 2012.
-
gnat-pro adacore.com
The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++.
-
spark-guidance adacore.com
Implementation Guidance for the Adoption of SPARK.
-
ada4automation ada4automation.org
A framework for designing industrial automation applications using the Ada language.
-
ada-planet ada-planet.blogspot.com
News Aggregator from the Ada programming language world (v3) (Ada-Planet v2 feed via Matrix).
-
gems ada-lang.io
Ada Gem Archive.
-
ada-lang-io ada-lang.io
A community site for Ada.
-
ada-logo-editor ada-lang-io.github.io
The “Ada horizon” logo maker website.
-
ada-europe ada-europe.org
An international organization, set up to promote the use of Ada.
-
iso-standard ada-auth.org
The 2022 revision to the Ada Standard, usually known as Ada 2022.
