40 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
ocaml-ocplib-simplex-git 0.5.r0.g9b0944c-4 2 0.28 simplex algorithm implementation for solving systems of linear inequalities and optimizing linear objective functions charlie5 2022-12-05 14:09 (UTC)
gnatdoc 23.0.0-4 1 0.24 GNAT documentation generation tool. charlie5 2022-11-25 08:10 (UTC)
gtkada 1:23.0.0-2 18 0.21 Ada bindings for the Gtk+ library. charlie5 2022-11-15 10:52 (UTC)
sdlada 2.5.6-1 2 0.00 An Ada binding to SDL charlie5 2022-11-27 02:55 (UTC)
libvss 1:23.0.0-1 1 0.00 A high level string and text processing library for Ada. charlie5 2022-11-16 08:16 (UTC)
ada_spawn 1:22.0.0-1 1 0.00 A simple Ada API to start processes and communicate with them. charlie5 2022-05-14 11:32 (UTC)
ada-libfswatch 20221116-2 1 0.00 An Ada binding to the libfswatch library in the fswatch project charlie5 2022-11-22 01:52 (UTC)
langkit 1:23.0.0-2 1 0.00 Compiler for syntactic and semantic language analysis libraries. charlie5 2022-11-22 02:03 (UTC)
gcc-ada-debug 12.2.0-1 1 0.00 Ada front-end for GCC (GNAT) with an unstripped runtime for effective debugging with gdb charlie5 2022-08-23 16:59 (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)
libgpr 1:23.0.0-2 27 0.00 Ada library to handle Gnat project files charlie5 2022-11-22 00:46 (UTC)
gprbuild 1:23.0.0-2 27 0.00 Builder for multi-language systems charlie5 2022-11-22 00:46 (UTC)
gnatcoll-xref 1:23.0.0-1 4 0.00 GNAT Components Collection - Tool to support parsing *.ali and *.gli files. charlie5 2022-11-16 03:06 (UTC)
gnatcoll-sqlite 1:23.0.0-1 4 0.00 GNAT Components Collection - SQLite database support charlie5 2022-11-16 03:00 (UTC)
gnatcoll-sql 1:23.0.0-1 4 0.00 GNAT Components Collection - SQL database support charlie5 2022-11-16 02:37 (UTC)
gnatcoll-postgres 1:23.0.0-1 3 0.00 GNAT Components Collection - Postgres database support charlie5 2022-11-16 02:52 (UTC)
gnatcoll-gnatinspect 1:23.0.0-1 4 0.00 GNAT Components Collection - the gnatinspect tool. charlie5 2022-11-16 04:21 (UTC)
gnatcoll-db2ada 1:23.0.0-1 4 0.00 GNAT Components Collection - Tool to generate Ada code from database schemas charlie5 2022-11-16 02:44 (UTC)
gnatcoll-core 2:23.0.0-1 4 0.00 Gnat components collection - Core packages. charlie5 2022-11-15 09:24 (UTC)
gnat-gps 2022-3 22 0.00 GNAT Programming Studio for Ada charlie5 2022-10-01 08:35 (UTC)
xmlada 1:23.0.0-1 19 0.00 An XML parser for Ada95 charlie5 2022-11-15 10:40 (UTC)
sphinxcontrib-adadomain 0.3-3 2 0.00 Adds Ada domain support to Sphinx. charlie5 2023-01-05 06:44 (UTC)
spark2014 12.fsf-1 0 0.00 Formally defined programming language based on Ada (GNAT FSF version) charlie5 2023-01-12 09:17 (UTC)
python2-funcy 1.12-1 0 0.00 Pyhton2 funcy library. charlie5 2019-06-23 06:20 (UTC)
polyorb 20221130-2 2 0.00 Provides the Distributed Systems Annex (DSA) to build distributed applications with Ada. charlie5 2022-11-30 06:15 (UTC)
markdown 23.0.0-1 0 0.00 A markdown parser for Ada. charlie5 2022-11-19 04:24 (UTC)
libadalang-tools 1:23.0.0-1 1 0.00 Libadalang-based tools for Ada: gnatpp, gnatmetric and gnatstub charlie5 2022-11-16 07:55 (UTC)
libadalang 2:23.0.0-1 4 0.00 A high performance semantic engine for the Ada programming language. charlie5 2022-11-16 07:20 (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)
gprbuild-bootstrap 1:23.0.0-1 8 0.00 Static GPRbuild to bootstrap XML/Ada and GPRbuild itself charlie5 2022-11-15 10:01 (UTC)
gpr-unit-provider 23.0.0-2 0 0.00 A unit provider for Libadalang based on GPR project analysis library. charlie5 2022-11-21 03:51 (UTC)
gpr 23.0.0-3 0 0.00 Parser for Ada GPR project files. charlie5 2023-01-09 09:37 (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)
gnatstudio-bin 20220512-4 0 0.00 GNAT Programming Studio for Ada binary charlie5 2022-10-13 14:40 (UTC)
gnatcoverage-bin 22.0-1 0 0.00 Source and object coverage analysis tool charlie5 2022-12-09 08:19 (UTC)
florist 2022-2 3 0.00 An open-source implementation of IEEE Standard 1003.5b-1996, the POSIX Ada binding. charlie5 2022-05-16 01:12 (UTC)
aunit 2022-1 1 0.00 Ada Unit Testing Framework charlie5 2022-02-11 01:02 (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)
adacurses 20221126-1 2 0.00 An Ada binding to the 'ncurses' C library. charlie5 2022-11-27 02:18 (UTC)
ada-web-server 1:23.0.0-1 4 0.00 A complete embeddable web application framework for Ada. charlie5 2023-01-30 11:36 (UTC)

40 packages found. Page 1 of 1.