Rust-Ada-Zig TUI library: Zig FFI bridge between Rust core and Ada/SPARK TUI
DNS record randomization tool for deprecated HINFO and LOC records. Built with Ada for maximum security and type safety.
A powerful, type-safe directory tree export and navigation tool written in Ada 2022
Ada TUI for managing rclone cloud mount configurations with rate limiting and SDP security
Modular shell configuration manager - declarative, idempotent, written in Ada for safety-critical reliability
Add a description, image, and links to the starred topic page so that developers can more easily learn about it.
To associate your repository with the starred topic, visit your repo's landing page and select "manage topics."