Aplicaciones con la función 'Portátil'
3
F*
F * es un lenguaje de programación funcional similar a ML destinado a la verificación del programa.F * puede expresar especificaciones precisas para los programas, incluidas las propiedades de corrección funcional.Los programas escritos en F * se pueden traducir a OCaml o F # para su ejecución.
22
Just Color Picker
Just Color Picker es una herramienta que captura el color de cualquier píxel en cualquier área de la pantalla y muestra su código en una variedad de formatos.
- Gratis
41
Pixie
Pequeña utilidad que puede mostrarle las coordenadas y el color de cualquier píxel en su pantalla en diferentes formatos (HEX, HTML, RGB, CMYK, HSV).Se mantiene en la parte superior, muestra un color de ese píxel debajo del cursor del mouse, el programa puede ampliar esa zona con teclas de acceso rápido..
6
4
Pixel Pick
Pixel Pick es una herramienta de selección de color gratuita que selecciona el color de los píxeles debajo del cursor del mouse en el escritorio y lo traduce a varios formatos de color diferentes, como RGB ...
3
ColorMixer
ColorMixer es una potente aplicación para mezclar colores.Eliges un color y ColorMixer calculará 8 colores armónicos basados en el que hayas elegido.Su interfaz de usuario ofrece muchas utilidades para elegir colores.
4
1
PK's Color Picker
Un obsequio liviano que permite a los usuarios elegir un color de la pantalla y obtener los valores RGB.
2
3
What The Hex?
¿Qué es el maleficio?es una herramienta de selección de color gratuita y de código abierto, al igual que la herramienta de gotas para ojos en editores de imágenes como GIMP.Pero a diferencia de esos editores, What The Hex?
7
Baralga
Baralga realiza un seguimiento del tiempo que pasó trabajando en diferentes proyectos.Puede registrar el tiempo dedicado a un proyecto o puede ingresar y editar actividades manualmente.
1
Personal Task Manager
PTM es una herramienta de seguimiento de tiempo de código abierto alojada por Sourceforge.net. Se parece al Administrador de tareas de Windows (ver capturas de pantalla) ¿Alguna vez ha tenido que responder a preguntas como ...
8
PieTTY
PieTTY es un cliente SSH gratuito basado en PuTTY y dedicado a entornos multilingües (especialmente CJK), accesibilidad e interfaz de usuario más simple.
1
ToolPakCloud
ToolPakCloud es un administrador de conexión de masilla / RDP / Powershell.
3
dRemote
dRemote es una herramienta fácil y gratuita para manejar múltiples conexiones remotas de diferentes tipos.Esta herramienta es útil cuando tiene que conectarse a diferentes conexiones remotas, todo lo que necesita para cambiar manualmente todas las configuraciones.
3
mRemote3G
mRemote3G es la tercera generación de mRemote, código abierto, con pestañas, multiprotocolo, administrador de conexiones remotas.
3
Post2blog
Post2Blog es un software de cliente de blogs de escritorio que ayuda a actualizar su blog sin visitar un sitio web y puede ayudarlo a componer publicaciones sin conexión, publicar texto seleccionado de Internet ...
1
SEQO
SEQO genera diagramas de secuencia UML a partir de un texto simple.Un diagrama de secuencia es un diagrama de interacción que muestra cómo los objetos operan entre sí y en qué orden.
3
GrooveShark Jukebox
Instale Grooveshark Jukebox y nunca más se preocupe por cerrar o perder su música.
