|
adasat
|
24.0w-1 |
1 |
1.00
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2023-07-09 12:14 (UTC) |
|
ada-libfswatch
|
1:24.0w-1 |
1 |
0.00
|
An Ada binding to the libfswatch library in the fswatch project. |
charlie5
|
2023-06-11 08:15 (UTC) |
|
vulkada
|
2024.12.4-1 |
0 |
0.00
|
A complete Vulkan 1.1 binding for the Ada 2012 programming language. |
charlie5
|
2024-04-28 08:49 (UTC) |
|
spark2014-bin
|
13.2.0-1 |
0 |
0.00
|
Formally defined programming language based on Ada (Binary version) |
charlie5
|
2023-11-19 12:25 (UTC) |
|
parse_args
|
0.9.0-1 |
0 |
0.00
|
An Ada 2012 package that provides simple command-line argument parsing. |
charlie5
|
2024-04-28 09:46 (UTC) |
|
markdown
|
24.0w-1 |
0 |
0.00
|
A markdown parser for Ada. |
charlie5
|
2023-07-18 19:28 (UTC) |
|
kazakov_simple_components
|
4.66-1 |
0 |
0.00
|
A set of low-level Ada components by Dmitri Kazakov. |
charlie5
|
2023-06-18 08:41 (UTC) |
|
gpr-unit-provider
|
23.0.0-2 |
0 |
0.00
|
A unit provider for Libadalang based on GPR project analysis library. |
charlie5
|
2023-06-11 08:18 (UTC) |
|
gnatstudio-sources
|
24.0w-1 |
0 |
0.00
|
Source tarballs for the Gnatstudio project stack. |
charlie5
|
2023-06-14 07:46 (UTC) |
|
gnatcoverage-bin
|
22.0-1 |
0 |
0.00
|
Source and object coverage analysis tool |
charlie5
|
2022-12-09 08:19 (UTC) |
|
adaogg
|
2021.10.14-1 |
0 |
0.00
|
A complete interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language. |
charlie5
|
2023-03-30 15:40 (UTC) |