Windows
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.
0
System Cleanup
Encuentre y elimine archivos temporales, de caché, de historial y de respaldo en todas sus unidades locales y de red.La limpieza del sistema protegerá los archivos usados recientemente.
- Gratis
- Windows
0
Quite Imposing Plus
Quite Imposing Plus es un complemento para Acrobat 9, "X" (10), "XI" (11) y DC de Adobe.Lo hace ... Imponente.
- De pago
- Windows
- Mac
- Adobe Acrobat
112
Plesk
Plesk es la plataforma líder de WebOps para ejecutar, automatizar y hacer crecer aplicaciones, sitios web y empresas de alojamiento en más de 32 idiomas en 140 países del mundo.
2
SSuite UltraCam Video Phone
Un teléfono de video en red sin servidor que funciona con DirectX para transmisión de video en tiempo real.El teléfono de video SSuite UltraCam fue diseñado para ser un comunicador sin servidor para uso dentro de cualquier red LAN o Wi-Fi.
- Gratis
- Windows
0
250+ Solitaires
250+ Solitaires ofrece una experiencia de solitario multiplataforma de alta calidad con más de 250 solitarios, incluidos clásicos como Klondike y FreeCell.
0
Oxygen Cloud
Oxygen te conecta a ti y al almacenamiento privado para hacer que el contenido sea móvil, sincronizado y disponible en todas partes.
33
10
32
71
31
1
31
2
2
Soundseeder
Escuche su música en múltiples dispositivos sincronizados, comparta su música con amigos, construya un sistema de audio multisala gratuito, conecte hasta 16 dispositivos simultáneamente
