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) |
gnatcoverage-bin
|
22.0-1 |
0 |
0.00
|
Source and object coverage analysis tool |
charlie5
|
2022-12-09 08:19 (UTC) |
gnatstudio-sources
|
24.0w-1 |
0 |
0.00
|
Source tarballs for the Gnatstudio project stack. |
charlie5
|
2023-06-14 07:46 (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) |
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) |
markdown
|
24.0w-1 |
0 |
0.00
|
A markdown parser for Ada. |
charlie5
|
2023-07-18 19:28 (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) |
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) |
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) |
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) |
adasat
|
24.0w-1 |
1 |
0.65
|
Implementation of a DPLL-based SAT solver in Ada. |
charlie5
|
2023-07-09 12:14 (UTC) |
ada_spawn
|
1:24.0w-1 |
1 |
0.00
|
A simple Ada API to start processes and communicate with them. |
charlie5
|
2023-06-11 08:15 (UTC) |
aunit
|
2022-1 |
1 |
0.00
|
Ada Unit Testing Framework |
charlie5
|
2022-02-11 01:02 (UTC) |
gcc-ada-debug
|
12.2.1-1 |
1 |
0.00
|
Ada front-end for GCC (GNAT) with an unstripped runtime for effective debugging with gdb |
charlie5
|
2023-03-30 17:13 (UTC) |
gnatdoc
|
24.0w-1 |
1 |
0.00
|
GNAT documentation generation tool. |
charlie5
|
2023-06-16 07:33 (UTC) |
gnatstudio-bin
|
20230501-1 |
1 |
0.00
|
GNAT Programming Studio for Ada binary |
charlie5
|
2023-05-11 01:39 (UTC) |
gnatsymbolize
|
2020-1 |
1 |
0.00
|
Translates addresses into their corresponding filename, line number, and function names for Ada programs. |
charlie5
|
2020-07-15 23:04 (UTC) |
gpr
|
24.0w-1 |
1 |
0.65
|
Parser for Ada GPR project files. |
charlie5
|
2023-06-11 08:16 (UTC) |
gpr2tools
|
24.0w-1 |
1 |
0.65
|
Parser for Ada GPR project files. |
charlie5
|
2023-06-11 08:16 (UTC) |
gprbuild-toolbox
|
24.0w-1 |
1 |
0.01
|
Meta builder toolbox for multi-language systems. |
charlie5
|
2023-06-17 08:30 (UTC) |
ini_file_manager
|
10-1 |
1 |
0.00
|
Ini configuration file reader and manipulator package for Ada. |
charlie5
|
2022-11-27 02:42 (UTC) |
inotify-ada
|
20220905-1 |
1 |
0.00
|
An Ada 2012 library to monitor filesystem events using the Linux inotify API. |
charlie5
|
2022-09-05 13:23 (UTC) |
spark2014
|
12.fsf-1 |
1 |
0.00
|
Formally defined programming language based on Ada (GNAT FSF version) |
charlie5
|
2023-01-12 09:17 (UTC) |
templates_parser
|
24.0w-2 |
1 |
0.65
|
Ada tools to create templated text streams, such as dynamic HTML documents. |
charlie5
|
2023-09-25 10:26 (UTC) |
adacurses
|
20240427-1 |
2 |
0.00
|
An Ada binding to the 'ncurses' C library. |
charlie5
|
2024-04-28 07:46 (UTC) |
all-ada
|
1.0-1 |
2 |
0.00
|
A meta package which installs all Ada tools and components. |
charlie5
|
2024-04-28 09:48 (UTC) |
langkit
|
1:24.0w-1 |
2 |
0.65
|
Compiler for syntactic and semantic language analysis libraries. |
charlie5
|
2023-07-09 12:17 (UTC) |
libadalang-tools
|
1:24.0w-1 |
2 |
0.65
|
Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub. |
charlie5
|
2023-10-20 22:45 (UTC) |
libvss
|
1:24.0w-1 |
2 |
0.65
|
A high level string and text processing library for Ada. |
charlie5
|
2023-07-18 16:59 (UTC) |
ocaml-ocplib-simplex-git
|
0.5.r0.g9b0944c-4 |
2 |
0.00
|
simplex algorithm implementation for solving systems of linear inequalities and optimizing linear objective functions |
charlie5
|
2022-12-05 14:09 (UTC) |
polyorb
|
20221130-3 |
2 |
0.00
|
Provides the Distributed Systems Annex (DSA) to build distributed applications with Ada. |
charlie5
|
2024-04-28 09:05 (UTC) |
sdlada
|
2.5.20-1 |
2 |
0.00
|
An Ada binding to SDL |
charlie5
|
2024-04-28 09:02 (UTC) |
sphinxcontrib-adadomain
|
0.5-1 |
2 |
0.00
|
Adds Ada domain support to Sphinx. |
charlie5
|
2023-09-05 14:50 (UTC) |
florist
|
2023-1 |
3 |
0.00
|
An open-source implementation of IEEE Standard 1003.5b-1996, the POSIX Ada binding. |
charlie5
|
2023-06-13 06:13 (UTC) |
gnatcoll-postgres
|
1:24.0w-1 |
3 |
0.00
|
GNAT Components Collection - Postgres database support. |
charlie5
|
2023-06-11 08:14 (UTC) |
ada-web-server
|
1:23.0.0-2 |
4 |
0.00
|
A complete embeddable web application framework for Ada. |
charlie5
|
2023-10-20 08:47 (UTC) |
gnatcoll-db2ada
|
1:24.0w-1 |
4 |
0.00
|
GNAT Components Collection - Tool to generate Ada code from database schemas. |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-gnatinspect
|
1:24.0w-1 |
4 |
0.00
|
GNAT Components Collection - the gnatinspect tool. |
charlie5
|
2023-06-11 08:14 (UTC) |
gnatcoll-sql
|
1:24.0w-1 |
4 |
0.00
|
GNAT Components Collection - SQL database support. |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-sqlite
|
1:24.0w-1 |
4 |
0.00
|
GNAT Components Collection - SQLite database support. |
charlie5
|
2023-06-11 08:14 (UTC) |
gnatcoll-xref
|
1:24.0w-1 |
4 |
0.00
|
GNAT Components Collection - Tool to support parsing *.ali and *.gli files. |
charlie5
|
2023-06-11 08:14 (UTC) |
ahven
|
2.8-1 |
5 |
0.00
|
A simple unit test framework for the Ada programming language. |
charlie5
|
2021-07-29 11:13 (UTC) |
gnatcoll-gmp
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to GMP |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-iconv
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to Libiconv |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-lzma
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to LZMA |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-omp
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to OpenMP |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-python
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Interface to the python 3 interpreter. |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-readline
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to readline |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-syslog
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to the Syslog the system logger on Unix systems. |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoll-zlib
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to Zlib. |
charlie5
|
2023-06-11 08:13 (UTC) |