Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
adasearch mgrojo.github.io
Custom search engines for finding anything related to the Ada and SPARK programming languages, without interference from other homonymous topics.
-
marte-os marte.unican.es
MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications.
-
ada-visual marketplace.visualstudio.com
Ada language integration for Visual Studio 2017.
-
adacore-ada marketplace.visualstudio.com
Language Support for Ada. It includes Language Server for Ada.
-
ada-magic mapusoft.com
SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE.
-
m2os m2os.unican.es
RTOS with simple tasking support for small microcontrollers.
-
ada-cpp-java learn.adacore.com
Ada for the C++ or Java Developer.
-
learn learn.adacore.com
Interactive learning platform designed to teach the Ada and SPARK programming languages.
-
fltk-ada jedbarber.id.au
Ada-2012 binding to FLTK (Fast Light Toolkit).
-
jdoodle-ada-compiler jdoodle.com
Online compiler that provides multiple versions of GNAT to test with.
-
ironsides ironsides.martincarlisle.com
Authoritative DNS server verified by SPARK/Ada.
-
ironclad ironclad-os.org
A kernel for several architectures striving for POSIX compatibility, used on several distributions like Gloire.
-
ncurses-ada95 invisible-island.net
Ada95 bindings for ncurses.
-
fmt inspirel.com
Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation.
-
scala huygens-fokker.org
A powerful software tool for experimentation with musical tunings, such as just intonation scales, equal and historical temperaments, microtonal and macrotonal scales, and non-Western scales.
-
adabrowse home.datacomm.ch
HTML generator for Ada95 library unit specs.
-
hacker-news-ada hn.algolia.com
Ada at Hacker News.
-
compiler-explorer godbolt.org
Run GNAT FSF compilers interactively from your web browser and interact with the assembly.
-
gitter-ada gitter.im
Ada channel at Gitter.
-
resource-embedder gitlab.com
Advanced Resource Embedder to embed files in binaries by producing C, Ada or Go source files.
-
porion gitlab.com
Continuous integration server and agent that helps automate the building, testing and deployment.
-
ada-libmagic gitlab.com
Magic Number Recognition Library Ada binding (libmagic (3)).
-
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.
- next page of items loading…
