Search Results for "gnome shell"

Diff-ext is an extension for filemanagers such as Windows Explorer and Nautilus that allows to launch diff/merge tools on selected files.

A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this...

m23 is a free software distribution system (license: GPL), that installs (via network, starting with partitioning and formatting) and administrates (updates, adds / removes software, adds / removes scripts) clients with Debian, (X/K)Ubuntu and LinuxMint. It is used for deployment of Linux clients in schools, institutions and enterprises. The m23 server is controlled via a web interface. A new m23 client can be installed easily in only three steps. Group functions and mass installation...

Community Linux is a USB drive based fully functional writable Linux Distribution. It boots and runs with a comparable speed as a hard drive installation. Community Linux allows one to create a low cost solid state development and production platform. For new ComLin drive creation, one needs to download the full install (comlin-016.tar.gz) ... (not just the scripts) Update: Community Linux will now run on most every machine. Update: Added Sound drivers, Intelligent...

The Indian Linux Project Goal is to build a Indian language enabled Linux distro & applications with support for Indian Languages

We started the project for school. Now the school project has finished and we plan to bring the project further. As said, it's based on gnome-shell. We took the source code of the gnome-shell and started to adapt it on touchscreen devices. Up to now we stayed fully compatible with the gnome-shell extension system. At the moment the software works just for the gnome-shell 3.2 shipped with Fedora 16 but we should adapt it for Ubuntu's gnome-shell version as well as for the newest releases of the gnome-shell. ...

[ Design and Implementation of the Singhal token based mutual exclusion algorithm in kernel-space of FreeBSD ] | Data & Network Security Lab (DNSL) | Room 501, Floor 5, | Department of Computer Engineering | Sharif University of Technology | Azadi Ave., Tehran, Iran Vahid Khodabakhshi <vkhodabakhshi@ce.sharif.edu> Vahid Ranjbar <vranjbar@ce.sharif.edu> Also see the Acknowledgement file Please send bugs to our e-mail

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

The Open Descent Foundation (ODF) is a community for developers, who want to help to create open source programs, tools, etc. for the famous games Descent1, -2 or -3. Everyone can join the ODF if he accepts the idea of writing open source programs.

Utility to validate, extract, show and create digital documents included in files with "pk7" and "fp7" extensions such as electronic bills provided by some phone companies in Spain like Movistar and Telefonica.

HTML Code Convert helps speed up the conversion of HTML code into different format including Java Script, JavaServer Pages, Microsoft ASP, PHP, Perl, and the UNIX Shell. It is particularly useful in CGI scripting.

The Free-POSIX Common Desktop Project exists to create an open standard for free Desktop implementations.

Provide secure and stable OS, based on highly modified Linux Kernel, own package system, like "BSD Ports". Compatible with x86, Power PC. Easy to use of any level users. Complete Documentantion in many languages. 99% compatible with Windows.

Rust is a drag&drop RPM creation utility and general purpose sandboxing toolkit. You can create RPM packages intuitively with the GUI. Rust may also be used to build RPMs for arbitrary source code, just by doing a 'make install' in the sandbox...