ampersand
You can define your business processes by means of rules, written in Relation Algebra.
Latest release 3.1.0 - Updated - 15 stars
tamarin-prover
The Tamarin prover is a tool for the analysis of security protocols. It implements a constraint s...
Latest release 0.8.6.3 - Updated - 130 stars
haskell-updater
haskell-updater rebuilds Haskell packages on Gentoo after a GHC upgrade or a dependency upgrade. ...
Latest release 1.3.1 - Updated - 10 stars
vcswrapper
Provides simple haskell functions to call external source code management systems. Currently git ...
Latest release 0.1.6 - Updated - 4 stars
scholdoc
Scholdoc is a command-line utility that converts ScholarlyMarkdown documents into the HTML5, LaTe...
Latest release 0.1.3 - Published - 285 stars
lit
lit has a minimal syntax for implementing literate programming. It generates both HTML and the na...
Latest release 0.1.10.0 - Updated - 260 stars
scyther-proof
scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyth...
Latest release 0.10.0.1 - Updated - 8 stars
freekick2
A soccer game.
Latest release 0.1.2 - Updated - 7 stars
vcsgui
Provides library functions to expose some commonly needed scm tasks to the user. Uses GTK+ and GT...
Latest release 0.2.2.0 - Updated - 4 stars
hmk
Clone of Plan9's mk command, said to have "improved on make by removing all the vowels from the n...
Latest release 0.9.7.4 - Updated - 11 stars
sylvia
The Simple Yuser-friendly Lambda Visualization Interaction Application (SYLVIA) is a unique way t...
Latest release 0.2.2 - Updated - 10 stars
kevin
a dAmn ↔ IRC proxy
Latest release 0.11.0 - Updated - 10 stars
hs-twitterarchiver
`hs-twitterarchiver ` is a tool for generating an archive of a user's Twitter feed, in a file on ...
Latest release 0.2 - Updated - 10 stars
ght
This is a bunch of trivial routines for inspecting git repositories. It is in no way useful beyon...
Latest release 0.4.0.1 - Updated - 7 stars
gt-tools
This package consist from console backend, GUI backend and Core module for Google Translate servi...
Latest release 0.2.1 - Updated - 6 stars
husky
husky is a command line calculator with a small memory footprint. It can be used in a fashion sim...
Latest release 0.4 - Updated - 6 stars
geek-server
A dynamic blog engine, customizable with standard web technology, i.e. HTML, CSS and Javascript (...
Latest release 1.1 - Updated - 5 stars
hgom
The executable hgom takes a module consisting of several abstract datatypes declarations as an in...
Latest release 0.6 - Updated - 5 stars
maxent-learner-hw-gui
A tool for automatically inferring phonotactic grammars from a lexicon and using those grammars t...
Latest release 0.2.1 - Updated - 4 stars
txt2rtf
For package maintainers and hackage trustees
Latest release 1.0.1 - Updated - 3 stars
bamboo-launcher
A standalone bamboo launcher to simplify deployment.
Latest release 2010.2.25 - Updated - 1 stars
hVOIDP
An implementation of the VOIDP algorithm that selects the optimal observations in chain graphical...
Latest release 1.0.2 - Updated - 1 stars
Monadius
A fast-paced 2-D scrolling vector graphics clone of the arcade game Gradius; it is dedicated to t...
Latest release 0.99 - Updated - 31 stars
git-checklist
Manage lists of TODO items for private branches from the command line. No configuration required ...
Latest release 1.0.0.0 - Published - 22 stars
agum
The unification problem is given the problem statement t =? t', find a most general substitution ...
Latest release 2.7 - Updated - 7 stars
DefendTheKing
Defend the King from the Forces of Different: (work in progress) A simple fast-paced multiplayer ...
Latest release 0.3.1 - Updated - 7 stars
quickbench
quickbench produces very simple output (elapsed seconds), as quickly as possible (running command...
Latest release 1.0 - Published - 6 stars
maxent-learner-hw
Provides an implementation of Hayes and Wilson's machine learning algorithm for maxent phonotacti...
Latest release 0.2.1 - Updated - 4 stars
cmu
The unification problem is given the problem statement t =? t', find a most general substitution ...
Latest release 1.11 - Updated - 2 stars
reheat
a programm to make notes and reduce impact on idle time on writing other programms.
Latest release 0.1.5 - Updated - 2 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search