Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
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); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Ada-language framework
- ada
- ada-language
- arm
- avr
An attempt at a minimalistic and secure operating system.
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
RISC-V 64-bit Kernel written in Ada
A fuzzy inference system library for Ada
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.