92 projects tagged "Haskell"

Download No website Updated 13 Jan 2014 intricacy

Screenshot
Pop 63.12
Vit 1.64

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 32.53
Vit 15.96

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 24.49
Vit 22.74

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.61
Vit 25.39

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

Download Website Updated 13 Feb 2012 Erasm++

Screenshot
Pop 42.19
Vit 2.04

Erasm++, the Embedded Runtime Assembler in C++, is an Embedded Domain Specific Language (EDSL) in C++ for runtime code generation on Intel 64/IA-32 architectures. It supports complete compile-time syntax checking, and its code generators run very quickly because necessary data are computed statically. Also included are GenericDsm, a fast and generic instruction decoder library which supports "pattern matching" against the decoded instructions, and MetaPrelude, a Haskell-like lazy metaprogramming library that helps implementing EDSLs in C++.

Download No website Updated 20 Jun 2011 mutalatex

Screenshot
Pop 17.94
Vit 32.78

This program is especially useful when the main difference between the two LaTeX files is in permutation of sections, moved equations, etc. Given 2 LaTeX files, it prepares 2 annotated LaTeX files showing which equations of the 1st file are identical, or close, or similar, to which equations of the 2nd file. It does the same with the pieces of text. It also saves the snippets of text and equations from each text into separate files in 2 new folders, allowing the user to see the difference using a diff program.

No download No website Updated 18 Apr 2011 Hoplax

Screenshot
Pop 16.40
Vit 33.73

Hoplax is a power user tool to store bookmarks in text files and manage them efficiently. Bookmarks stored in Hoplax are easy to edit and search with normal Unix tools and editors. They are easy to synchronize with git/svn/darcs/etc. Bookmarks can be categorized easily into files, and you can choose to not synchronize a file to a computer, e.g. confidential company bookmarks to home computers. The filtering is smarter than the browser's location bar. Keyword bookmarks with multiple parameters and auto-completion are supported.

Download Website Updated 24 Apr 2014 husk-scheme

Screenshot
Pop 241.12
Vit 33.21

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.

No download Website Updated 21 Dec 2010 lsdupes

Screenshot
Pop 8.25
Vit 35.42

lsdupes is a command line tool that finds files that have identical content and lists them, deletes them, or hard links them together.

No download Website Updated 30 Jun 2012 hex

Screenshot
Pop 63.99
Vit 3.00

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.

Screenshot

Project Spotlight

HP Vlan Simple Adminstration

A Web interface for administering VLANs on HP L3 managed Ethernet switches.

Screenshot

Project Spotlight

Wing IDE

An IDE for Python.