Re: [GNU-traductores] blurbs.html

[Daniel G.]

On Mon, Feb 10, 2020 at 08:15:01AM -0500, Dora Scilipoti wrote:
> On 02/09/2020 04:38 PM, Daniel GSJ wrote:
Hola:
Allá va el resto de la A.
Saludos,
DG

------------------------------------------------------------------------

Aris is a program for performing logical proofs. It supports propositional 
and predicate logic, as well as Boolean algebra and arithmetical logic. In 
addition to its predefined inference and equivalence rules, Aris also 
supports references to older proofs. Its use of standard logical symbols 
and its natural deduction interface make it easy to use for beginners.

Aris es un programa para realizar pruebas lógicas. Soporta lógica proposicional 
y predicativa, así como álgebra booleana y lógica aritmética. Además de sus 
reglas predefinidas de inferencia y equivalencia, Aris también soporta 
referencias a pruebas más antiguas. Su uso de símbolos lógicos estándar y 
su interfaz de deducción natural la hacen fácil de usar para los principiantes.

------------------------------------------------------------------------

GNU Artanis is a web application framework written in Guile Scheme. A web 
application framework (WAF) is a software framework that is designed to 
support the development of dynamic websites, web applications, web services 
and web resources. The framework aims to alleviate the overhead associated 
with common activities performed in web development. Artanis provides 
several tools for web development: database access, templating frameworks, 
session management, URL-remapping for RESTful, page caching, and more. 


GNU Artanis es un <cite>web application framework</cite> (WFA) escrito en 
Guile Scheme. Un WAF es una estructura de software diseñada para ayudar 
en el desarrollo de sitios web dinámicos, aplicaciones web, servicios web 
y recursos web. Este <cite>framework</cite> aligera los gastos generales 
asociados a las actividades comunes realizadas en el desarrollo web. 
Artanis proporciona varias herramientas de desarrollo: acceso a bases de 
datos, marcos de plantillas, gestión de sesiones, reordenación de URL para 
RESTful, almacenamiento en caché de páginas, y más. 

-------------------------------------------------------------------------

Aspell is a spell-checker which can be used either as a library or as a 
standalone program. Notable features of Aspell include its full support of 
documents written in the UTF-8 encoding and its ability to use multiple 
dictionaries, including personal ones. 


Aspell es un corrector ortográfico que puede ser usado como una biblioteca 
o como un programa independiente. Entre las características más destacadas 
de Aspell está su total compatibilidad con documentos escritos en la 
codificación UTF-8 y su capacidad para utilizar múltiples diccionarios, 
incluidos los personales. 

------------------------------------------------------------------------

AUCTeX is an integrated environment for producing TeX documents in Emacs. 
It allows many different standard TeX macros to be inserted with simple 
keystrokes or menu selection. It offers an interface to external programs, 
enabling you to compile or view your documents from within Emacs. AUCTeX 
also features the ability to place inline previews of complex TeX 
statements such as mathematical formulae. 

AUCTeX es un entorno integrado para producir documentos TeX en Emacs. 
Permite insertar muchas macros estándar de TeX con simples pulsaciones de 
teclas o selección de menú. Ofrece una interfaz para programas externos, 
que permite compilar o ver los documentos desde dentro de Emacs. AUCTeX 
también ofrece la posibilidad de colocar vistas previas **en línea** de 
declaraciones TeX complejas como fórmulas matemáticas. 

------------------------------------------------------------------------

Autoconf offers the developer a robust set of M4 macros which expand into 
shell code to test the features of Unix-like systems and to adapt 
automatically their software package to these systems. The resulting shell s
cripts are self-contained and portable, freeing the user from needing to 
know anything about Autoconf or M4.

Autoconf ofrece al programador un robusto conjunto de macros M4 que se 
expanden en código de <cite>shell</cite> para probar las características 
de los sistemas tipo Unix y adaptar automáticamente su paquete de software 
a estos sistemas. Los <cite>scripts</cite> de consola resultantes son 
autónomos y portables, liberando al usuario de la necesidad de saber algo 
sobre Autoconf o M4.

------------------------------------------------------------------------

Autoconf Archive is a collection of over 450 new macros for Autoconf, 
greatly expanding the domain of its functionality. These macros have been 
contributed as free software by the community. 

Autoconf Archive es una colección de más de 450 nuevas macros para Autoconf, 
que expanden enormemente su funcionalidad. Estas macros han sido desarrolladas 
como software libre mediante contribuciones de la comunidad. 

------------------------------------------------------------------------

AutoGen is a program to ease the maintenance of programs that contain 
large amounts of repetitive text. It automates the construction of these 
sections of the code, simplifying the task of keeping the text in sync. 
It also includes an add-on package called AutoOpts, which is specialized 
for the maintenance and documentation of program options. 

AutoGen es un programa para facilitar el mantenimiento de programas que 
contienen grandes cantidades de texto repetitivo. Automatiza la construcción 
de estas secciones del código, simplificando la tarea de mantener el texto 
sincronizado. También incluye un paquete adicional llamado AutoOpts, que 
está especializado en el mantenimiento y la documentación de las opciones 
del programa. 

------------------------------------------------------------------------

Automake the part of the GNU build system for producing standards-compliant 
Makefiles. Build requirements are entered in an intuitive format and then 
Automake works with Autoconf to produce a robust Makefile, simplifying the 
entire process for the developer. 

Automake es la parte del sistema de construcción de GNU para producir 
Makefiles que cumplan con los estándares. Los requisitos de construcción 
se introducen en un formato intuitivo y luego Automake trabaja con Autoconf 
para producir un Makefile robusto, simplificando todo el proceso para el 
desarrollador. 

------------------------------------------------------------------------

libavl provides a large collection of binary search tree and balanced tree 
routines for C. These trees offer at least O(log n) performance for usually 
costly operations such as searching, inserting or deleting items from a 
data structure. 

libavl proporciona una gran colección de árboles de búsqueda binaria y 
rutinas de árboles equilibrados para C. Estos árboles ofrecen al menos un 
rendimiento O(log n) para operaciones normalmente costosas como la búsqueda, 
inserción o eliminación de elementos de una estructura de datos. 





> 
> > Mando unos cuantos de la A. Espero mandar el resto esta semana.
> 
> Gracias, quedo a la espera del resto.
> 
> Ya falta poco, una 100 entradas más y terminamos.
> 
> 
> -- 
> Dora Scilipoti
> GNU Education Team
> gnu.org/education
> 
> _______________________________________________
> Lista de correo www-es-general
> address@hidden
> https://lists.gnu.org/mailman/listinfo/www-es-general

-- 
----------------
Daniel Gutiérrez