HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
47,133 repositories indexed
1–23 of 23 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada WASM Runtime and Bindings for Web API
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)
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
The Google Protocol Buffers implementation in Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
Ada support for OpenAPI code generator
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
Ada API to the Windows library
GLOBE_3D: a real-time 3D Engine written in Ada
Tool for building a Linux package from an Alire crate
Ada bindings for the Microsft WinRT Api
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Ada bindings to the Microsoft NetFramework Api
TeXCAD: a simple LaTeX {picture} drawing tool
Ada bindings for the Microsoft Win32 Api
Ada binding to OpenAL which tries to mimic original API while using Ada types.
Raspberry Pi using a BBC Micro:Bit as temperature sensor
Ada Posix Binding to Video 4 Linux, used for RPI
Ada bindings for wiringPi
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size
Demos of multiplexed digital I/O for AdaPilot