Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
GitHub repository with 35 stars and 5 forks.
Language: Ada
Topics: ada, ada-language, ada-library, burrows-wheeler-transform, bwt, bzip2, compression, compression-library, deflate, deflate-format
2026-06-05: 35 stars and 5 forks.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
GitHub repository with 166 stars and 15 forks.
Trending score: 0.04.
Language: Ada
Topics: ada, ada-language, compiler, virtual-machine, strongly-typed, ada-library
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GitHub repository with 311 stars and 44 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Ada
Server implementing the Microsoft Language Protocol for Ada and SPARK
GitHub repository with 297 stars and 68 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Ada
This repository contains course material published to the AdaCore University website
GitHub repository with 58 stars and 18 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Ada
LLVM based GNAT compiler
GitHub repository with 227 stars and 27 forks.
Trending score: 0.05.
Language: Ada
Source repository for the GNAT Bare Metal BSPs
GitHub repository with 70 stars and 63 forks.
Trending score: 0.05.
Language: Ada
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
GitHub repository with 166 stars and 15 forks.
Trending score: 0.04.
Language: Ada
Topics: ada, ada-language, compiler, virtual-machine, strongly-typed, ada-library
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
GitHub repository with 166 stars and 15 forks.
Trending score: 0.04.
Language: Ada
Topics: ada, ada-language, compiler, virtual-machine, strongly-typed, ada-library