264 projects tagged "GNU/Linux"

Download Website Updated 14 Apr 2014 psensor

Screenshot
Pop 265.57
Vit 25.90

Psensor is a graphical hardware temperature monitor for Linux. It can monitor temperatures of the different hardware sensors (motherboard and CPU using lm-sensors), hard disk drives (hddtemp/libatasmart), and ATI/Nvidia GPUs. The fan can also be monitored (lm-sensors). Psensor is designed to be simple and easy to use.

No download No website Updated 30 Oct 2012 QueryFS

Screenshot
Pop 16.19
Vit 24.41

QueryFS is a FUSE-based virtual filesystem that is based on queries. There are plugins to parse various query syntaxes and each query creates a virtual directory. Currently the most elaborate query language is SQL-based; you can either provide access to data stored in an SQL database, or keep an index of files in the SQL database and generate search directories with symlinks to found files. QueryFS and its SQL2 query DSL fully support creation of refinable searches: for example, the author has an index of downloaded email files; one can see all the distinct senders registered in the DB and then go into a directory of one sender and see all accounts that ever received an email from this sender.

No download Website Updated 08 Nov 2012 ocamlmath

Screenshot
Pop 13.56
Vit 24.22

ocamlmath provides modules that may be used as interactive calculation constructions for general mathematics when loaded in the OCaml pseudo-interpreter, or as calculation library for the OCaml compiler.

No download Website Updated 18 Nov 2012 DisPass

Screenshot
Pop 42.57
Vit 24.11

DisPass is a passphrase generator that generates unique passphrases formed from a master password and a label, helping you get rid of the bad habit of using a single password for multiple Web sites. It is a console application, but it also has a simple graphical interface.

No download No website Updated 18 Dec 2012 Verish

Screenshot
Pop 15.91
Vit 23.41

Verish is a language for reasoning that resembles a natural language. It is equivalent to Lower Predicate Calculus, and has a built-in framework for defining and using abbreviations, and for introducing additional principles of reasoning that can be automatically expanded into a sequence of steps that use only basic principles of reasoning. It has a basic reasoning checking function, and can automatically expand one additional principle of reasoning into a sequence of steps using only the basic principles. It can also add HTML markup to a proof for display as a Web page.

No download Website Updated 19 Dec 2012 RoseThorn Game Library

Screenshot
Pop 43.75
Vit 23.36

RoseThorn is a cross-platform library for 2D and 3D games running on GNU/Linux (and possibly other Unix-like OSes) and Windows. Features include: hardware accelerated 2D and 3D rendering; Ogg and WAV Sound support with OpenAL; Lua scripting; BMP, JPEG, and PNG image loading and saving (from screenshots); easily created and modified user interfaces with XML and CSS, combined with Lua event handling; separate 2D and 3D libraries; support for multiple fonts in both TTF and bitmap formats; support for OBJ, 3DS, MD5, and RTM model formats; skeletal animation (a work in progress); support for UDP and TCP networking; thread and mutex support; a Simple Shader API; 2D animated sprites; and some basic cryptography support. There is simple event management, with key/mouse bindings easily customized from the in-game console, config file, command line, or GUI.

No download Website Updated 07 Feb 2013 Upmf

Screenshot
Pop 19.60
Vit 22.30

Upmf is a source-based package manager written almost completely in Scheme. The user is able to search, build, and remove packages. Since Scheme through GUILE is very extensible, the user can customize the procedures, or even exchange them with his own, if wanted. Packages are stored in their own self-contained directories and are incorporated into the filesystem with help of GNU Stow.

Download Website Updated 05 Apr 2013 AstroFocuser

Screenshot
Pop 14.04
Vit 20.96

AstroFocuser is a very simple tool to help star focusing in astrophotogaphy. It applies an FWHM by transparency on the background window.

No download Website Updated 03 Jun 2014 ocserv

Screenshot
Pop 360.01
Vit 20.75

OpenConnect server (ocserv) is an SSL VPN GNU/Linux server. Its purpose is to be a secure, small, fast, and configurable VPN server which depends on standard protocols like TLS 1.2 and Datagram TLS. It implements the AnyConnect SSL VPN protocol and is compatible with the OpenConnect VPN client (compatibility with other Anyconnect SSL VPN clients is experimental).

No download Website Updated 22 May 2014 Dianara

Screenshot
Pop 174.80
Vit 20.61

Dianara is a client for the pump.io social network. It allows users to manage their pump.io social network accounts without using a Web browser.

Screenshot

Project Spotlight

rlwrap

A readline wrapper.

Screenshot

Project Spotlight

Watchy

A distributed system monitoring solution.