Stars
A demo of best practices for open-source Ada/SPARK development
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Application framework for industrial automation built on top of TwinCAT3 and .NET.
The RTI OPC UA/DDS Gateway implements a standards-based transparent bridge to integrate OPC UA and DDS applications.
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); …
RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with JavaScript.
Platform to submit RFCs for the Ada & SPARK languages
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A framework for synthetic test data generation for computer vision with the Unreal Engine.
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
A curated list of awesome resources related to the Ada and SPARK programming language
The Vent4All 3D printed universal door opener. It's easy to install with just a few tie-wraps!
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
A high-Performance real-time 2D plotting library based on native WebGL
ROS client library for the Go programming language
A pure JavaScript implemetation of MODBUS-RTU (and TCP) for NodeJS
Simple worker threads pool using node's worker_threads module.
Cloud-Native distributed storage built on and for Kubernetes
MicroK8s is a small, fast, single-package Kubernetes for datacenters and the edge.
Interactive roadmaps, guides and other educational content to help developers grow in their careers.