|
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) |