Programming Languages
22,646 items in 77 lists
-
ada-intl gitlab.com
NLS thin Ada binding (gettext (3), textdomain (3), bindtextdomain (3)).
-
suid-helper gitlab.com
Small Ada library that helps in writing safer suid programs.
-
matrix-root gitlab.com
Compute the N-th root of a matrix.
-
adare-net gitlab.com
This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too.
-
ada-for-automation gitlab.com
A4A is a framework for designing industrial automation applications using the Ada language.
-
sensortile github.com
This project shows how to initialize a SensorTile and how to send sensor data over BLE from a SensorTile to a suitable host.
-
flyology-numa github.com
Memory-node topology reporting, memory placement on a chosen node, and node-bound storage pools.
-
flyology-debug github.com
Bounded in-memory tracing, producer shards, retained batches, and persistent gauges.
-
flyology-cachelines github.com
Cache-line-aware storage, ownership-aware groups, grouped arrays, and host cache queries.
-
flyology-bench github.com
Adaptive microbenchmarking with balanced comparisons, diagnostics, baselines, and machine-readable reports.
-
flyology-allocators github.com
Caller-owned buddy, best-fit, TLSF, and slab/span allocation algorithms with no hosted operating system dependency.
-
flyology-quic github.com
Experimental bounded QUIC transport with protocol state, streams, loss recovery, and congestion control.
-
flyology-iri github.com
Allocation-conscious URI, IRI, and WHATWG URL parsing.
-
Ada 2022 Reference Card github.com
Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library.
-
fsf-gnat github.com
Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2022, Ada 2012, Ada 2005, Ada 95 and Ada 83.
-
uri-ada git.sr.ht
URI and MIME parser & manipulation library.
-
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.
- next page of items loading…
