RSS 45 projects tagged "Haskell"

Download Website Updated 18 Apr 2014 arbtt

Screenshot
Pop 151.62
Vit 104.46

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 720.07
Vit 125.48

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 282.67
Vit 26.29

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 72.50
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 No website Updated 17 Sep 2013 ShellCheck

Screenshot
Pop 33.62
Vit 14.69

ShellCheck is a static analysis tool for shell scripts. Its goals are to point out and clarify typical beginner's syntax issues that causes a shell to give cryptic error messages, to point out and clarify typical intermediate level semantic problems that causes a shell to behave strangely and counter-intuitively, and to point out subtle caveats, corner cases, and pitfalls that may cause an advanced user's otherwise working script to fail under future circumstances.

No download Website Updated 29 Dec 2012 timeplotters

Screenshot
Pop 22.98
Vit 21.87

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.46
Vit 24.61

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.09
Vit 3.04

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 65.45
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 05 Nov 2011 Ginsu Chat Client

Screenshot
Pop 21.45
Vit 5.70

Ginsu is a client for the Gale chat system. It is designed to be powerful and above all stable, as well as having a quick learning curve.

Screenshot

Project Spotlight

barvinok

A tool that counts the number of integer points in parametric polytopes.

Screenshot

Project Spotlight

CalDavZAP

A CalDAV Web client.