Package Descriptions for Ubuntu

Browsing Spanish translation

  1. Series maverick
  2. Template “ddtp-ubuntu-universe”
  3. Spanish (es)
Don't show this notice anymore
Before translating, be sure to go through Ubuntu Translators instructions and Spanish guidelines.
1492 → 1501 of 57897 results First • • • Last
1492.
This package contains some documentation for the language.
 
Description
Este paquete contiene cierta documentación para el lenguaje.
Translated by Aiguanachein
Reviewed by Paco Molinero
Located in Package: ats-lang-anairiats-doc
1493.
Examples for the ATS compiler Anairiats
 
Summary
Ejemplos para el compilador de ATs Anairiats
Translated by nat6091
Reviewed by Paco Molinero
Located in Package: ats-lang-anairiats-examples
1494.
ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself. It can be as efficient as C/C++ and supports a variety of programming paradigms.
 
Description
ATS es un lenguaje de programación que incluye un sistema de tipos altamente expresivos en el entorno del Sistema de Tipo Aplicado. En concreto, están disponibles tipos dependientes y lineales. La implementación actual de ATS (ATS/Anairiats) está escrita en ATS. Lo que puede ser tan eficiente como en C/C++ y admite diferentes modelos de programación.
Translated by nat6091
Reviewed by Paco Molinero
Located in Package: ats-lang-anairiats-examples Package: ats-lang-anairiats-doc Package: ats-lang-anairiats
1495.
In addition, ATS contains a component ATS/LF that supports a form of (interactive) theorem proving, where proofs are constructed as total functions. With this component, ATS advocates a programming style that combines programming with theorem proving. Furthermore, this component may be used as a logical framework to encode various deduction systems and their (meta-)properties.
 
Description
Además, ATS contiene un componente ATS/LF que admite un modo (interactivo) de demostrar teorías, donde las pruebas se construyen como funciones completas. Con este componente, ATS recomienda un estilo de programación que combina la programación con la demostración de teorías. Además, este componente puede utilizarse como un entorno lógico para cifrar distintos sistemas de deducción y sus (meta-) propiedades.
Translated by nat6091
Reviewed by Paco Molinero
Located in Package: ats2-lang
1496.
This package contains some examples of the language.
 
Description
Este paquete contiene algunos ejemplos del lenguaje.
Translated by Monkey
Reviewed by Paco Molinero
Located in Package: ats-lang-anairiats-examples
1497.
system activity reporter
 
Summary
Reporta la actividad del sistema
Translated and reviewed by Carlos Perelló Marín
Shared:
informador de actividad del sistema
Suggested by nat6091
Located in Package: atsar
1498.
Monitor system resources such as CPU, network, memory & disk I/O, and record data for later analysis
 
Description
Controla los recursos del sistema como CPU, red, memoria y E/S de disco, y graba los datos para un análisis posterior.
Translated and reviewed by Carlos Perelló Marín
Located in Package: atsar
1499.
turn-based strategy game
 
Summary
Juego de estrategia por turnos
Translated by Michael Vogt
Located in Package: asc
1500.
You control Lords with armies and you have to fight against opponents and achieve quests.
 
Description
Tú controlas los Lores con ejércitos y tienes que luchar contra los opositores y lograr misiones.
Translated by hhlp
Reviewed by Paco Molinero
Located in Package: attal
1501.
medieval theme for attal
 
Summary
tema medieval para attal
Translated and reviewed by Paco Molinero
Shared:
tema medieval para attal
Suggested by Monkey
Located in Package: attal-themes-medieval
1492 → 1501 of 57897 results First • • • Last

This translation is managed by Ubuntu Spanish Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.

Contributors to this translation: 0rvidal, Adolfo Jayme Barrientos, Aiguanachein, Aitor de la Morena, Alejandro Pérez, Alvaro.Godoy, Amin Contreras, Ana C. D., Andres Rodriguez, Ariel Cabral, Augusto Elorza, Ben Lövy, Cameron W, Canofeles, Carlos Andrés Zambrano (czam), Carlos Gant Bernal, Carlos Lerzundy, Carlos Perelló Marín, Cindy Acuña, Clara, Cristian Aravena Romero, Cross, Daniel Aguirre, Daniel Añez Scott, Dante Díaz, David de Obregon, DiegoJ, Eder Flores, Edgardo Fredz, Eduardo Castro, Eduardo Rivas, Eugenio M. Vigo, Evan R. Murphy, Fabián Flores Vadell, FajardXorg, Feder Sáiz, Federico Vera, Felipe Contreras, Fernando Muñoz, Florencia Mincucci, Francisco Padilla García, Gabriel Retik, Gabriela, Gonzalo L. Campos Medina, Gonzalo Testa, Ignacio Pinto, Irving Leonard, Javier Carranza, Javier García Díaz, Javier Lancha, Javier Serrano, Jonay, Jose Luis Tirado, Jose M, José Ernesto Dávila Pantoja, José Pablo Cortés, Juan Cardelino, Juan Eduardo Riva, Juan Miguel, Juan Sebastián Marulanda, Julian Alarcon, Julián Romero, Leandro Pavón Serrano, Lennon_79, Lovecat1024, LucianoGL9!, Luis Hurtado, Luis de Bethencourt Guimerá, Malakun, Manfred, Manuel Alejandro Jiménez Quintero, Marcos Astorgano, Mauro de Carvalho, Michael Vogt, Miguel Pérez Colino, Moises Mata Astorga, Monkey, MrcredsAlex, Nacho Barberán, Nelson Vergara, Nicolás M. Zahlut, Nicolás Rigalli, Oscar Rodriguez, Pablo Rubianes, Paco Molinero, Rainer Eli, Raúl Pedroche, Ricardo Pérez López, Rodrigo Lledó, Samuel Iglesias, Sergio Cardamas, Sergio Meneses, Steve Langasek, Takmadeus, Toolband, Victor Vargas, William Bueno Hernandez, arztriper, dlg3000, dmm041191, gnuckx, gnz27, goynes1, hhlp, inigo, jcastp, jorgehpm, localhost, lynx, malev, mariomx08, mjdevel, nat6091, novatotal, pablo.sajnovsky, pico.dev, santos cano prada, worg.