Ada topic
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.
aforth
Embeddable Forth interpreter written in Ada
hvinfo
Yet another hypervisor detection tool. Pure Ada 2005, supports Linux and FreeBSD
AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
OpenGLAda
Thick Ada binding for OpenGL and GLFW
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 (...
hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
cardano-nft-minter
A script that handles minting cardano native tokens in a simple and interactive way.
jupyter-notebook-on-servers
ever wondered how to run jupyter notebook on servers like ada?
gcc_termux
Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt