Prototype implementation of LSP client - Visual Studio 2017
This library is another containers library for Ada. Although it provides containers that do not exist in the standard Ada runtime (graphs for instance), it is more interesting for the flexibility it proposes:
AZ3 is an Ada binding to the Z3 theorem prover.
The main features of componolit/az3 are: General Purpose Libraries.
Open-source alternatives to componolit/az3 include: alanxz/rabbitmq-c — RabbitMQ C client. alex-gamper/ada-languageserver — Prototype implementation of LSP client - Visual Studio 2017. andgi/nbada — NBAda - Non-blocking Algorithms and Data Structures. andgineer/tregexpr — Regular expressions (regex), pascal. anthony-arnold/adaid — #AdaID#. adacore/ada-traits-containers — This library is another containers library for Ada. Although it provides containers that do not exist in the standard…
