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) |
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) |
adacurses
|
20240427-1 |
2 |
0.00
|
An Ada binding to the 'ncurses' C library. |
charlie5
|
2024-04-28 07:46 (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) |
adasat
|
24.0w-1 |
1 |
0.87
|
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) |
ahven
|
2.8-1 |
5 |
0.00
|
A simple unit test framework for the Ada programming language. |
charlie5
|
2021-07-29 11:13 (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) |
aunit
|
2022-1 |
1 |
0.00
|
Ada Unit Testing Framework |
charlie5
|
2022-02-11 01:02 (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) |
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) |
gnatcoll-core
|
1:24.0w-1 |
5 |
0.87
|
Gnat components collection - Core packages. |
charlie5
|
2023-06-18 12:57 (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-gmp
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to GMP |
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-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-postgres
|
1:24.0w-1 |
3 |
0.00
|
GNAT Components Collection - Postgres database support. |
charlie5
|
2023-06-11 08:14 (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-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-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-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) |
gnatcoll-zlib
|
1:24.0w-1 |
5 |
0.00
|
GNAT Components Collection - Bindings to Zlib. |
charlie5
|
2023-06-11 08:13 (UTC) |
gnatcoverage-bin
|
22.0-1 |
0 |
0.00
|
Source and object coverage analysis tool |
charlie5
|
2022-12-09 08:19 (UTC) |
gnatdoc
|
24.0w-1 |
1 |
0.00
|
GNAT documentation generation tool. |
charlie5
|
2023-06-16 07:33 (UTC) |
gnatstudio
|
1:24.0w-3 |
22 |
0.00
|
GNAT Programming Studio for Ada. |
charlie5
|
2024-04-28 09:29 (UTC) |
gnatstudio-bin
|
20230501-1 |
1 |
0.00
|
GNAT Programming Studio for Ada binary |
charlie5
|
2023-05-11 01:39 (UTC) |
gnatstudio-sources
|
24.0w-1 |
0 |
0.00
|
Source tarballs for the Gnatstudio project stack. |
charlie5
|
2023-06-14 07:46 (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.87
|
Parser for Ada GPR project files. |
charlie5
|
2023-06-11 08:16 (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) |
gpr2tools
|
24.0w-1 |
1 |
0.87
|
Parser for Ada GPR project files. |
charlie5
|
2023-06-11 08:16 (UTC) |
gprbuild
|
1:24.0w-6 |
35 |
0.34
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
gprbuild-bootstrap
|
1:24.0w-1 |
8 |
0.00
|
Static GPRbuild to bootstrap XML/Ada and GPRbuild itself. |
charlie5
|
2023-06-17 08:28 (UTC) |
gprbuild-toolbox
|
24.0w-1 |
1 |
0.01
|
Meta builder toolbox for multi-language systems. |
charlie5
|
2023-06-17 08:30 (UTC) |
gprname
|
1:24.0w-6 |
35 |
0.34
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
gprslave
|
1:24.0w-6 |
35 |
0.34
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
gprtools
|
1:24.0w-6 |
35 |
0.34
|
Builder for multi-language systems. |
charlie5
|
2023-10-17 23:51 (UTC) |
gtkada
|
1:24.0w-2 |
18 |
0.00
|
Ada bindings for the Gtk+ library. |
charlie5
|
2023-06-19 17:52 (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) |
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) |
langkit
|
1:24.0w-1 |
2 |
0.87
|
Compiler for syntactic and semantic language analysis libraries. |
charlie5
|
2023-07-09 12:17 (UTC) |
libadalang
|
2:24.0w-1 |
5 |
0.87
|
A high performance semantic engine for the Ada programming language. |
charlie5
|
2023-06-16 09:41 (UTC) |
libadalang-tools
|
1:24.0w-1 |
2 |
0.87
|
Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub. |
charlie5
|
2023-10-20 22:45 (UTC) |
libgpr
|
1:24.0w-6 |
35 |
0.34
|
Ada library to handle Gnat project files. |
charlie5
|
2023-10-17 23:51 (UTC) |
libvss
|
1:24.0w-1 |
2 |
0.87
|
A high level string and text processing library for Ada. |
charlie5
|
2023-07-18 16:59 (UTC) |