Mac

Agda

Agda

Agda es un lenguaje de programación funcional de tipo dependiente.Tiene familias inductivas, es decir, tipos de datos que dependen de valores, como el tipo de vectores de una longitud dada.
Nestopia

Nestopia

Nestopia es un emulador de NES que se escribió en C ++ y es perfecto para juegos que requieren una sincronización precisa ya que es muy preciso en cuanto a ciclos.
Jumpshare

Jumpshare

Jumpshare es una aplicación para compartir archivos en tiempo real increíblemente rápida.Disponible para web, Mac, Windows e iOS.
VICE

VICE

VICE es un programa que se ejecuta en Unix, MS-DOS, Win32, OS / 2, Acorn RISC OS, BeOS, QNX 4.x, QNX 6.
Zen Planner

Zen Planner

Zen Planner es una solución de gestión de miembros totalmente personalizable para gimnasios, escuelas de artes marciales, cajas y estudios de yoga.Brindamos a los dueños de negocios herramientas clave como facturación automática, autoservicio para miembros, informes detallados, automatizaciones y más.
Mactracker

Mactracker

Mactracker proporciona información detallada sobre cada computadora Apple Macintosh que se haya fabricado, incluidos elementos como la velocidad del procesador, la memoria, las unidades ópticas, las tarjetas gráficas, la Mac compatible ...
Sports Calculators

Sports Calculators

Sports Calculators comprende una selección de 12 calculadoras diferentes que simplificarán los cálculos que hasta ahora te han causado dolores de cabeza.
The Escapists

The Escapists

iMyMac PDF Compressor

iMyMac PDF Compressor

Zcoin

Zcoin

Transacciones financieras privadas habilitadas por el Protocolo Zerocoin.Uno de los desarrollos académicos más innovadores en la investigación de Bitcoin.
Darcy Ripper

Darcy Ripper

Easy Pixel Tool

Easy Pixel Tool

Easy Pixel Tool lo ayuda a medir rápidamente la distancia en píxeles entre dos puntos de la pantalla (Ancho, Altura) con solo dos simples clics del mouse: comenzar y finalizar.
Dictandu

Dictandu

Abak

Abak

Abak es el sistema de facturación y tiempo más flexible de la industria.Admite múltiples monedas, múltiples formatos de factura y docenas de tasas.
QuickCast

QuickCast

Diseñado para ser liviano, gratuito y fácil de usar: todo lo que necesita para hacer un breve screencast conciso.
Staimusic

Staimusic

Staimusic es un servicio gratuito de transmisión de música.Descubre nueva música, escucha listas de reproducción seleccionadas y obtén la música para viajar a través de los años.¿No estás cansado de las mismas radios insípidas y comerciales?
feedja

feedja

leyendo para todos
Invisor

Invisor

Invisor muestra información técnica sobre sus archivos de video, audio y fotos con la capacidad de comparar los datos recopilados.
YouTrack

YouTrack

YouTrack es un rastreador de problemas y errores basado en la web y centrado en el teclado.¡Manipule problemas con solo dos controles simples y disfrute de un seguimiento de errores e informes de errores rápidos!
Gmvault

Gmvault

Haga una copia de seguridad y restaure su cuenta de gmail a voluntad.Libera tus correos electrónicos y nunca pierdas esa parte de tu vida.Copia de seguridad de todos sus correos electrónicos en el disco.