RSS 21 projects tagged "Linux"

Download Website Updated 26 Mar 2014 Lumee

Screenshot
Pop 49.61
Vit 1.00

Lumee is an image viewer for GNOME 3. It features a clean user interface that doesn't take up much screen space, and is designed around browsing folders of images.

No download Website Updated 22 Mar 2014 Pybik

Screenshot
Pop 35.79
Vit 5.25

Pybik is an interactive, graphical, single player puzzle about the cube invented by Ernő Rubik. Besides the cube, the program can handle towers and bricks (non-cubic puzzles). Pybik also has solvers, pretty patterns, and a collection of various moves. The cube can be manipulated with the mouse or keyboard. You can change the colors or images on the faces of the cube.

Download No website Updated 09 Feb 2014 hbcxx

Screenshot
Pop 128.08
Vit 1.76

hbcxx is a tool that uses the Unix #!/path/to/interpreter shebang technique to make C++ source code directly executable. It keeps coding fast and fun by making it unnecessary to write a build system and an install script for simple programs and quick and dirty personal toys.

No download Website Updated 20 Apr 2013 Papertrail

Screenshot
Pop 17.41
Vit 19.07

Papertrail is a ballot scanning and processing software suite which supports elections based on paper ballots which can be scanned and counted automatically.

No download No website Updated 01 Apr 2013 eMir

Screenshot
Pop 18.57
Vit 19.54

eMir, or enhanced Mir, is a fork of Canonical's Mir display manager. It aims to be a next-generation display server for mobile and desktop Linux.

No download Website Updated 29 Jul 2013 Kypeless

Screenshot
Pop 58.09
Vit 2.35

Kypeless is a fully decentralised chat and file sharing program. It uses AES-256 encryption for data, Diffie-Hellman for key exchange, and RSA public key cryptography for authentication. It relies on pre-shared public keys.

Download Website Updated 27 May 2013 QSMM

Screenshot
Pop 19.54
Vit 1.95

QSMM, the "QSMM State Machine Model", is a framework for development of non-deterministic intelligent state models and systems with spur-driven behavior. It includes low-level functions for generating optimal actions by the system and high-level functions for building multinode models. In a multinode model, nodes represent components of a system you develop which choose optimal actions using the framework and can correspond to entities external to the system and which behavior is to be learnt. A node can choose optimal actions based on a current node state which is either set manually by your program or is identified automatically by the framework. Probability profiles for a state transition matrix and an action emission matrix of the node can be specified using an assembler program with a user-defined instruction set.

Download Website Updated 10 Mar 2012 Ansible

Screenshot
Pop 38.83
Vit 27.74

Ansible is a radically simple deployment, configuration, and command execution framework. It is dead simple and painless to extend. Extending Ansible does not require programming in any particular language; you can write modules as scripts or programs which return simple JSON. It’s also trivially easy to just execute useful shell commands.

Download No website Updated 19 Dec 2013 GCC-MELT

Screenshot
Pop 147.99
Vit 10.02

GCC-MELT is a high-level domain specific language that eases the development of plugin-like extensions for GCC, the Gnu Compiler Collection. These extensions can analyze or modify GCC internal representations, and can be used for static source code analysis, refactoring, specific warnings, optimizations, etc. The MELT language provides high-level features. Notably, MELT code is translated to C or C++, and can even contain C or C++ code. It includes powerful pattern matching facilities and can manipulate dynamically typed values and raw GCC structures. It enables functional/applicative, object-oriented, reflective programming styles and has a familiar Lisp-like syntax.

No download Website Updated 21 Aug 2011 tomld

Screenshot
Pop 12.88
Vit 31.16

Tomld (tomoyo learning daemon) is an extension to the Tomoyo security framework. Tomoyo increases security by confining applications and services into domains using rules. Tomld automates this process, helping users harden their systems more easily. To do this, tomld starts in learning mode, creates Tomoyo domains, collects rules, changes them, and, once the rules appear to be complete, tomld enforces the policy.

Screenshot

Project Spotlight

Monit

A utility for monitoring Unix system services.

Screenshot

Project Spotlight

opendkim

A C implementation of the DKIM message signing/verifying standard, both an API and a filter.