scholdoc
Scholdoc is a command-line utility that converts ScholarlyMarkdown documents into the HTML5, LaTe...
Latest release 0.1.3 - Published - 285 stars
highlighting-kate
highlighting-kate is a syntax highlighting library with support for nearly one hundred languages....
Latest release 0.6.4 - Updated - 106 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
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
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
ampersand
You can define your business processes by means of rules, written in Relation Algebra.
Latest release 3.1.0 - Updated - 15 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
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
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
vcswrapper
Provides simple haskell functions to call external source code management systems. Currently git ...
Latest release 0.1.6 - Updated - 4 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
shelltestrunner
shelltestrunner (executable: shelltest) is a portable command-line tool for testing command-line ...
Latest release 1.9 - Updated - 37 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
show
Show instances for functions and IO procedures
Latest release 0.6 - Updated - 1 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
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
custom-prelude
An enhanced prelude, serving as a foundation for my projects
Latest release 0.2.2.0 - Updated - 1 stars
kevin
a dAmn ↔ IRC proxy
Latest release 0.11.0 - Updated - 10 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
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
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
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
pasty
pasty is simple command line utility for extracting a collection of columns from any number of in...
Latest release 0.1 - Published - 2 stars
hsc3-server
This library provides abstractions for managing SuperCollider server resources like node, buffer ...
Latest release 0.10.0 - Updated - 7 stars
sylvia
The Simple Yuser-friendly Lambda Visualization Interaction Application (SYLVIA) is a unique way t...
Latest release 0.2.2 - Updated - 10 stars
txt2rtf
For package maintainers and hackage trustees
Latest release 1.0.1 - Updated - 3 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
jalla
NOTE: Hackage does not know LAPACKE, therefore jalla and the documentation are not built there. Y...
Latest release 0.2.0.1 - Updated - 5 stars
datetime
Provides several utilities for easily converting among the various standard library Date and Time...
Latest release 0.3.1 - Updated - 3 stars
License
Language
Platform

Subscribe to an RSS feed of this search