Ada/SPARK
430 items from ohenley/awesome-ada ★872
-
vtk-ada r3fowwcolhrzycn2yzlzzw.on.drv.tw
Ada-2012 port to VTK 8.1 (Visualization Toolkit).
-
qt-ada r3fowwcolhrzycn2yzlzzw.on.drv.tw
Ada-2012 port to Qt 6 framework.
-
object-ada ptc.com
PTC ObjectAda is an extensive family of native and cross development tools and runtime environments.
-
apex-ada ptc.com
PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications.
-
vulkada phasercat.com
A complete Vulkan 1.1 thick binding for Ada 2012.
-
adaogg phasercat.com
Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language.
-
ada-95-tutorial perso.telecom-paristech.fr
A book going from beginner to advanced concepts in Ada 95, complete with source files.
-
ada-crash-course pchapin.org
Ada 2012 crash course under 50 pages from Vermont Technical College.
-
pasta pasta.phyrama.com
A game of the "match-3" genre, implemented in gnoga.
-
para-sail parasail-lang.org
ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4…
-
gnu-emacs-ada-mode nongnu.org
Gnu Emacs major-mode for editing Ada sources.
-
muen muen.codelabs.ch
An x86/64 Separation Kernel for High Assurance.
-
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.
- next page of items loading…
