RSS 29 projects tagged "Linux"

Download Website Updated 18 Apr 2014 arbtt

Screenshot
Pop 114.13
Vit 5.36

The program arbtt, the automatic rule-based time tracker, allows you to investigate how you spend your time, without having to manually specify what you are doing. arbtt records which windows are open and active, and provides you with a powerful rule-based language to afterwards categorize your work.

Download Website Updated 17 Apr 2014 Ganeti

Screenshot
Pop 703.73
Vit 184.49

Ganeti is virtual server management software built on top of Xen, KVM, and other open source software. It has been designed to facilitate cluster management of virtual servers and to provide fast and simple recovery after physical failures using commodity hardware.

Download Website Updated 26 Feb 2014 husk-scheme

Screenshot
Pop 283.94
Vit 26.77

Husk is an implementation of the Scheme programming language for the Haskell Platform. Advanced R5RS features are provided, including continuations, hygienic macros, and a full numeric tower.

Download No website Updated 13 Jan 2014 intricacy

Screenshot
Pop 74.65
Vit 1.72

intricacy is a networked game in which players attempt to construct maximally difficult puzzles within certain strict design constraints, and to solve the puzzles of others.

No download Website Updated 29 Dec 2012 timeplotters

Screenshot
Pop 23.24
Vit 21.82

timeplotters is a collection of command line tools for visualizing temporal data. It is especially useful for visualizing data from ad-hoc program logs, helping you to spot patterns and anomalies that you would not otherwise see by just watching how the program works or by looking at the logs with the naked eye. Its input format is tailored to event types typically seen in program logs, and the visualization methods are tailored to the questions typically asked about program performance (e.g. distribution of activity durations).

Download Website Updated 22 Aug 2012 Vocabulink

Screenshot
Pop 17.66
Vit 24.57

Vocabulink is a Web-based program for learning foreign language vocabulary through mnemonics and spaced repetition.

No download Website Updated 30 Jun 2012 hex

Screenshot
Pop 69.75
Vit 3.05

hex is a Haskell-based reimplementation of TeX. It currently only implements the macro functionality and very basic typesetting with DVI output. Its goal is to implement all of TeX and have a PDF output option.

Download Website Updated 26 Nov 2011 Bluetile

Screenshot
Pop 64.97
Vit 3.65

Bluetile is a tiling window manager designed to integrate with the GNOME desktop environment. It provides both a traditional, stacking layout mode as well as tiling layouts where windows are arranged to use the entire screen without overlapping. Bluetile tries to make the tiling paradigm easily accessible to users coming from traditional window managers by drawing on known conventions and providing both mouse and keyboard access for all features.

No download Website Updated 31 Oct 2011 hssqlppp

Screenshot
Pop 17.52
Vit 2.38

hssqlpp is a parser, pretty printer, and type checker for SQL.It parses a subset of PostgreSQL SQL and PL/pgSQL.

Download Website Updated 15 Jun 2011 The Glasgow Haskell Compiler

Screenshot
Pop 173.85
Vit 10.07

The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the functional programming language Haskell. GHC compiles Haskell to either native code or C. It implements numerous experimental language extensions to Haskell for example concurrency, a foreign language interface, several type-system extensions, exceptions, and so on. GHC comes with a generational garbage collector, a space and time profiler, and a comprehensive set of libraries.

Screenshot

Project Spotlight

SymmetricDS

Data synchronization, replication, and transformation software.

Screenshot

Project Spotlight

Python Documentation

Official documentation for the Python programming language.