Gentoo Project

Tupone Alfredo

dev-ada

• dev-ada/ada_language_server

  a Language Server Protocol for Ada/SPARK
• dev-ada/ada_libfswatch

  Ada binding to the libfswatch library
• dev-ada/AdaSAT

  Implementation of a DPLL-based SAT solver in Ada
• dev-ada/aunit

  Ada unit testing framework
• dev-ada/aws

  A complete Web development framework
• dev-ada/e3-core

  Ease the development of portable automated build systems
• dev-ada/e3-testsuite

  Generic testsuite framework in Python
• dev-ada/gnatcoll-bindings

  GNAT Component Collection
• dev-ada/gnatcoll-core

  GNAT Component Collection Core packages
• dev-ada/gnatcoll-db

  GNAT Component Collection
• dev-ada/gnatdoc

  GNAT Documentation Generation Tool
• dev-ada/gnatformat

  Opinionated code formatter for the Ada language
• dev-ada/gnatmem

  Monitors dynamic allocation and deallocation activity in a program
• dev-ada/gnatsymbolize

  Translates addresses into filename, line number, and function names
• dev-ada/gpr

  LibGPR2 - Parser for GPR Project files
• dev-ada/gprbuild

  Multi-Language Management
• dev-ada/gprconfig_kb

  GPR configuration knowledge base
• dev-ada/gtkada

  A complete Ada graphical toolkit
• dev-ada/lal-refactor

  Refactoring tools for the Ada programming language
• dev-ada/langkit

  A Python framework to generate language parsers
• dev-ada/langkit-contrib

  A Python framework to generate language parsers - Contrib
• dev-ada/libadalang

  high performance semantic engine for the Ada programming language
• dev-ada/libadalang-tools

  Libadalang-based tools: gnatpp, gnatmetric and gnatstub
• dev-ada/libgpr

  Ada library to handle GPRbuild project files
• dev-ada/markdown

  Provides a markdown parser written in Ada
• dev-ada/prettier-ada

  Port of the Prettier formatter to the Ada programming language
• dev-ada/spawn

  Simple API to spawn processes
• dev-ada/templates-parser

  A template engine
• dev-ada/VSS

  A high level string and text processing library
• dev-ada/xmlada

  Set of modules that provide a simple manipulation of XML streams

dev-lang

• dev-lang/ada-bootstrap

  Binary bootstrap compiler for GNAT (Ada compiler)
• dev-lang/spark

  Software development for high-reliability applications

sci-mathematics

• sci-mathematics/why3-for-spark

  SPARK 2014 repository for the Why3 verification platform

sys-fs

• sys-fs/fswatch

  cross-platform file change monitor with multiple backends