WRidder

ada_spark_workflow

A demo of best practices for open-source Ada/SPARK development

searxng

SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.

rclada

Ada client library for ROS2/RCL

dds-tsn

Example project of DDS-TSN integration

TcOpen

Application framework for industrial automation built on top of TwinCAT3 and .NET.

rob501

Mathematics for Robotics

ra2

A Red Alert 2 mod for the OpenRA game engine

rticonnextdds-gateway-opcua

The RTI OPC UA/DDS Gateway implements a standards-based transparent bridge to integrate OPC UA and DDS applications.

cortex-gnat-rts

This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

rticonnextdds-connector-js

RTI Connector for Connext DDS is a lightweight technology that enables DDS data to be accessed with JavaScript.

radatracer

Mirror of https://gitlab.com/1ma/radatracer

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

articulations-robot-demo

unrealgt

A framework for synthetic test data generation for computer vision with the Unreal Engine.

ada-enet

Ada Embedded Network Stack

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

libsimpleio

Linux Simple I/O library

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

covid19-dooropener

The Vent4All 3D printed universal door opener. It's easy to install with just a few tie-wraps!

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

webgl-plot

A high-Performance real-time 2D plotting library based on native WebGL

goroslib

ROS client library for the Go programming language

node-modbus-serial

A pure JavaScript implemetation of MODBUS-RTU (and TCP) for NodeJS

node-worker-threads-pool

Simple worker threads pool using node's worker_threads module.

longhorn

Cloud-Native distributed storage built on and for Kubernetes

microk8s

MicroK8s is a small, fast, single-package Kubernetes for datacenters and the edge.

rpi3-xenomai

Xenomai 3 for Raspberry Pi 3

developer-roadmap

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

control

Control in C++