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
tamarin-prover-theory
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.6.0 - Updated - 130 stars
tamarin-prover-utils
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.5.1 - Updated - 130 stars
tamarin-prover-term
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.5.1 - Updated - 130 stars
pretty-compact
This package contains a pretty-printing library, a set of API's that provides a way to easily pri...
Latest release 3.0 - Updated - 16 stars
lio-fs
A very simple file system interface for LIO. Labels are associated with files and directories in ...
Latest release 0.0.1.2 - Updated - 40 stars
hsc3-server
This library provides abstractions for managing SuperCollider server resources like node, buffer ...
Latest release 0.10.0 - Updated - 7 stars
hsc3-process
This library allows to create and control scsynth processes. ChangeLog: https://github.com/kaos...
Latest release 0.10.0 - Updated - 4 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
satchmo
Encoding for boolean and integral constraints into CNF-SAT. The encoder is provided as a State mo...
Latest release 2.9.9.3 - Updated - 4 stars
bamboo-plugin-highlight
It uses highlighting-kate to highlight any code inside pre / code with a class attribute hinting ...
Latest release 2009.7.5 - Updated - 1 stars
bamboo-theme-mini-html5
bamboo mini html5 theme
Latest release 2009.11.27 - Updated - 1 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
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
geek-server
A dynamic blog engine, customizable with standard web technology, i.e. HTML, CSS and Javascript (...
Latest release 1.1 - Updated - 5 stars
press
Press is a general purpose text templating engine that is targeted at generating HTML Web conten...
Latest release 0.1.2 - Updated - 5 stars
hack-contrib-press
Hack helper that renders Press templates
Latest release 0.1.2 - Updated - 3 stars
biophd
Library for reading phd sequence files
Latest release 0.0.8 - Updated - 2 stars
scholdoc-types
This package is a fork of pandoc-types intended to support the development of Scholdoc. It includ...
Latest release 0.1.3.1 - Updated - 2 stars
bamboo
[Index] For package maintainers and hackage trustees Bamboo is a port of Panda, but runs on...
Latest release 2010.2.25 - Updated - 1 stars
scholdoc-texmath
This package is a fork of texmath, intended to support the development of Scholdoc. It is current...
Latest release 0.1.0.1 - Updated
testCom
With some TemplateHaskell magic, you can write your tests in your comments directly above a funct...
Latest release 0.3.0 - Updated
simple-server
This library provides a very simple interface for creating a server that sends and recieves ByteS...
Latest release 0.0.3 - Updated
haskell-plot
Greatly simplify the API of Chart (http://hackage.haskell.org/package/Chart).
Latest release 0.1.0.0 - Published - 8 stars
agum
The unification problem is given the problem statement t =? t', find a most general substitution ...
Latest release 2.7 - 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
arrowp-qq
A suite of preprocessor and quasiquoter to desugar arrow notation built on top of Ross Paterson's...
Latest release 0.2.1.1 - Updated - 2 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search