ada_spawn
|
1:25.0w-1 |
1 |
0.00
|
A simple Ada API to start processes and communicate with them. |
charlie5
|
2024-05-31 06:36 (UTC) |
adasat
|
25.0w-1 |
1 |
0.49
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2024-05-31 06:15 (UTC) |
ada-libfswatch
|
1:25.0w-1 |
1 |
0.00
|
An Ada binding to the libfswatch library in the fswatch project. |
charlie5
|
2024-05-31 06:14 (UTC) |
vulkada
|
2024.12.4-1 |
0 |
0.00
|
A complete Vulkan 1.3 thick binding for the Ada 2012 programming language. |
charlie5
|
2024-05-31 07:09 (UTC) |
spark2014-bin
|
13.2.0-1 |
0 |
0.00
|
Formally defined programming language based on Ada (Binary version) |
charlie5
|
2024-05-31 07:00 (UTC) |
parse_args
|
0.9.0-1 |
0 |
0.00
|
An Ada 2012 package that provides simple command-line argument parsing. |
charlie5
|
2024-05-31 07:06 (UTC) |
markdown
|
25.0w-1 |
0 |
0.00
|
A markdown parser for Ada. |
charlie5
|
2024-05-31 06:34 (UTC) |
lal-refactor
|
1:25.0w-1 |
0 |
0.00
|
A collection of source code refactoring tools for the Ada. |
charlie5
|
2024-05-31 06:38 (UTC) |
kazakov_simple_components
|
4.68-1 |
0 |
0.00
|
A set of low-level Ada components by Dmitri Kazakov. |
charlie5
|
2024-05-31 07:05 (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
|
2024-05-31 07:01 (UTC) |