Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
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.
-
multiplexed-io github.com
This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada.
-
gela github.com
Ada code analyzer.
-
cvsweb2git github.com
Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository.
-
rsfile github.com
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size.
-
licensing github.com
Open Source Licenses library for Ada.
-
ada-utilities github.com
VSCode extension Ada programmers which provides a few utility functions.
-
ipfs github.com
InterPlanetary File System client library: CID/multihash/multibase, CAR archives with block verification, trustless HTTP gateway client.
-
elogs github.com
Logging framework for embedded systems absent of runtime errors.
-
wiring-pi-ada github.com
Ada bindings for wiringPi.
-
em-brick github.com
emBRICK driver and support for emBRICK in Ada.
-
abf-io github.com
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada.
-
ada-v4l2 github.com
Ada Posix Binding to Video 4 Linux, used for RPI.
-
gnat-patches github.com
Curated GCC/GNAT patchsets against checksum-pinned upstream sources, each backed by an executable regression, published as patched native toolchain builds for GCC 13 through 16.
-
flyology-tui github.com
Typed, declarative terminal user-interface toolkit for Ada.
-
flyology-simd github.com
Portable, strongly typed SIMD foundations for Ada.
-
flyology-rdf github.com
RDF 1.2 terms, streaming Turtle, TriG, N-Triples and N-Quads parsing, RDFC-1.0 dataset canonicalization, Notation3, and SPARQL 1.1 query syntax.
-
flyology-postgres github.com
Client and server primitives for the PostgreSQL frontend/backend protocol, built on flyology task-aware I/O.
-
flyology-http github.com
HTTP/1.1 clients and servers with opt-in HTTP/2 and HTTP/3 engines and WebSocket support, built on flyology task-aware I/O.
-
fletcher github.com
Trivial implementation of fletcher_16 checksum computation algorithm.
-
evb1000 github.com
Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board.
-
anuklear github.com
Ada binding to the Nuklear GUI library and the Nuklear-SDL renderer.
