18 projects tagged "Linux"
Updated 20 Apr 2013
Papertrail
| Pop | 35.37 |
|---|---|
| Vit | 7.78 |
Papertrail is a ballot scanning and processing software suite which supports elections based on paper ballots which can be scanned and counted automatically.
Updated 01 Apr 2013
eMir
| Pop | 33.84 |
|---|---|
| Vit | 8.89 |
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.
Updated 28 Dec 2012
Kypeless
| Pop | 43.34 |
|---|---|
| Vit | 1.44 |
Kypeless is a fully decentralised chat program. It uses AES-256 encryption for data, and RSA public key cryptography for user identification. It relies on pre-shared public keys.
Updated 27 May 2013
QSMM
| Pop | 38.60 |
|---|---|
| Vit | 5.27 |
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.
Updated 10 Mar 2012
Ansible
| Pop | 39.12 |
|---|---|
| Vit | 21.60 |
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.
Updated 22 Dec 2012
GCC-MELT
| Pop | 83.64 |
|---|---|
| Vit | 5.63 |
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, and can even contain 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.
Updated 21 Aug 2011
tomld
| Pop | 14.21 |
|---|---|
| Vit | 25.84 |
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.
Updated 29 Mar 2012
fstransform
| Pop | 105.60 |
|---|---|
| Vit | 3.30 |
fstransform is a tool to change a file-system from one format to another. For example, it can change from jfs, xfs, or reiser to ext2, ext3, or ext4. It works in-place and without the need for backup. It currently has been tested on Linux only. It uses a sparse file to create the new file-system image, moves all the files of the existing file-system into it, then remaps the sparse file to the original partition.
Updated 30 Jan 2013
OATH Toolkit
| Pop | 139.46 |
|---|---|
| Vit | 12.73 |
This release adds minor bugfixes. The help system has been redesigned, and a lot of help texts are now available. There is an additional search field for group administrators. To make work with access rights easier, the select boxes for groups and users have been improved.
Updated 16 Nov 2010
git-annex
| Pop | 32.82 |
|---|---|
| Vit | 1.00 |
git-annex allows managing files with git without checking the file contents into git. While that may seem paradoxical, it is useful when dealing with files larger than git can currently easily handle, whether due to limitations in memory, checksumming time, or disk space.
