60 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
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 20230429-1 2 0.00 An Ada binding to the 'ncurses' C library. charlie5 2023-04-30 13:15 (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 0 0.00 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)
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-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)
gnatcoll-core 1:24.0w-1 4 0.00 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-gnatinspect 1:24.0w-1 4 0.00 GNAT Components Collection - the gnatinspect tool. charlie5 2023-06-11 08:14 (UTC)
gnatcoll-postgres 1:24.0w-1 3 0.00 GNAT Components Collection - Postgres database support. 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)
gnatcoverage-bin 22.0-1 0 0.00 Source and object coverage analysis tool charlie5 2022-12-09 08:19 (UTC)
gnatstudio 1:24.0w-3 22 0.00 GNAT Programming Studio for Ada. charlie5 2023-09-06 11:38 (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 0 0.00 Parser for Ada GPR project files. charlie5 2023-06-11 08:16 (UTC)
gpr2tools 24.0w-1 0 0.00 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)
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)
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 1 0.00 Compiler for syntactic and semantic language analysis libraries. charlie5 2023-07-09 12:17 (UTC)
libadalang 2:24.0w-1 4 0.00 A high performance semantic engine for the Ada programming language. charlie5 2023-06-16 09:41 (UTC)
libadalang-tools 1:24.0w-1 1 0.00 Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub. charlie5 2023-10-20 22:45 (UTC)
libvss 1:24.0w-1 1 0.00 A high level string and text processing library for Ada. charlie5 2023-07-18 16:59 (UTC)
markdown 24.0w-1 0 0.00 A markdown parser for Ada. charlie5 2023-07-18 19:28 (UTC)
polyorb 20221130-2 2 0.00 Provides the Distributed Systems Annex (DSA) to build distributed applications with Ada. charlie5 2023-10-18 01:19 (UTC)
sdlada 2.5.6-2 2 0.00 An Ada binding to SDL charlie5 2023-05-04 13:17 (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)
sphinxcontrib-adadomain 0.5-1 2 0.00 Adds Ada domain support to Sphinx. charlie5 2023-09-05 14:50 (UTC)
templates_parser 24.0w-2 0 0.00 Ada tools to create templated text streams, such as dynamic HTML documents. charlie5 2023-09-25 10:26 (UTC)
vulkada 2023.4.8-1 0 0.00 A complete Vulkan 1.1 binding for the Ada 2012 programming language. charlie5 2023-09-05 14:16 (UTC)
gtkada 1:24.0w-2 18 0.00 Ada bindings for the Gtk+ library. charlie5 2023-06-19 17:52 (UTC)
gnatdoc 24.0w-1 1 0.00 GNAT documentation generation tool. charlie5 2023-06-16 07:33 (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)

60 packages found. Page 1 of 2.

1 2 Next › Last »