Ada
49 libraries mined from the alire registry · NADA target: 55
- ada-game-framework/sdlada
- AdaCore/Ada_Drivers_Library
- AdaCore/ada_language_server
- AdaCore/aws
- AdaCore/bb-runtimes
- AdaCore/gnat-llvm
- AdaCore/gnatcoll-core
- AdaCore/gnatstudio
- AdaCore/gprbuild
- AdaCore/gtkada
- AdaCore/langkit
- AdaCore/learn
- AdaCore/libadalang
- AdaCore/RecordFlux
- AdaCore/svd2ada
- AdaCore/VSS
- alire-project/alire
- AntonMeep/vaniton
- cforler/Ada-Crypto-Library
- codelabs-ch/muen
- cubesatlab/cubedos
- docandrew/CuBit
- Fabien-Chouteau/ACNC
- flyx/OpenGLAda
- gabriele-galeotti/SweetAda
- godunko/adawebpack
- janverschelde/PHCpack
- jgrivera67/HiRTOS
- joular/powerjoular
- jrmarino/synth
- Lucretia/bare_bones
- Lucretia/tamp
- MayaPosch/Sarge
- mk270/whitakers-words
- OneWingedShark/Byron
- OpenAADL/ocarina
- parasail-lang/parasail
- PatrikFehrenbach/amass-tools
- Prunt3D/prunt
- pyjarrett/septum
- rod-chapman/SPARKNaCl
- serock/pla-util
- simonjwright/FreeRTOS-Ada
- stcarrez/ada-awa
- stcarrez/ada-util
- tofgarion/spark-by-example
- tsoding/eepers
- wookey-project/ewok-kernel
- zertovitch/hac