Command-line tool from the Alire project and supporting library
-
Updated
Aug 7, 2024 - Ada
Ada is a structured, statically typed, imperative, and object-oriented high-level programming language. It has built-in language support for design by contract, strong typing, explicit concurrency, tasks, synchronous message passing, and protected objects. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors. Ada is an international technical standard, jointly defined by the International Organization for Standardization (ISO), and the International Electrotechnical Commission (IEC) as ISO/IEC 8652:2012.
Command-line tool from the Alire project and supporting library
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A cryptographic framework, proven for correctness in SPARK
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
The ledger implementation and specifications of the Cardano blockchain.
This repository is where problems solved on the Baekjoon Online Judge site are uploaded.
Simple web server in Ada to provide a front end for embedded systems
Ada 2022 bindings to SDL 2
Tiny Lisp Interpreter Written in Ada
It uses the accessibility interface which handles UI and design related adjustments. All in One Accessibility app enhances your Django website accessibility to people with hearing or vision impairments, motor impaired, color blind, dyslexia, cognitive & learning impairments, seizure and epileptic, and ADHD problems.