Search Results for "server os"

*** Genode migrated to https://github.com/genodelabs/genode *** The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and...

TurboVNC is a high-performance, enterprise-quality version of VNC based on TightVNC, TigerVNC, and X.org. It contains a variant of Tight encoding that is tuned for maximum performance and compression with 3D applications (VirtualGL), video, and other image-intensive workloads. TurboVNC, in combination with VirtualGL, provides a complete solution for remotely displaying 3D applications with interactive performance. TurboVNC's high-speed encoding methods have been adopted by TigerVNC and...

Sensa is not an operating system, is a work environment compatible with Android © 4.4.4, Firefox OS ©, Linux Ubuntu 12.12 ©, MacOS Classic 7 ©, MS -DOS © operating systems, and Microsoft Windows 8.1 ©; whose distribution is free, and with source code available under GNU GPL 2.0 license .

neteK is a user-friendly personal FTP and WebDAV server. The program stays in the system tray without using too many system resources. Target platforms are Linux, Windows, and Mac OS.

Remote Desktop (RD) Connection Manager allows easy working with remote desktops and servers. It supports: Citrix ICA, Microsoft Windows terminal services (RDP), VMRC, VNC as well as VDI: VMWare Workstation, VMWare ESX and ESXi servers, Microsoft Hype

Raspberry Pi compatible docker image containing a Citadel groupware server. This image has been successfully tested on a Raspberry Pi 3 running Hypriot OS. Run it with the following command (make sure to replace YOUR_HOSTNAME with your preferred hostname (e.g. mail.my.domain): docker run -d -h YOUR_HOSTNAME --name citadel --dns 8.8.8.8 -e WEBCIT_LANG=en -e WEBCIT_HTTP_PORT=8080 -e WEBCIT_HTTPS_PORT=8443 -p 25:25 -p 110:110 -p 143:143 -p 465:465 -p 587:587 -p 993:993 -p 995:995 -p 8881:8080 -p 8481:8443 ufud/rpi-citadel If you use docker-compose to build the image, please replace YOUR_DOCKER_HOST_IP with the correct IP of your docker host in docker-compose.yml. ...