c2hs
C->Haskell assists in the development of Haskell bindings to C libraries. It extracts interface i...
Latest release 0.28.5 - Updated - 124 stars
hadolint
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.11.0 - Updated - 1.11K stars
gitit
Gitit is a wiki backed by a git, darcs, or mercurial filestore. Pages and uploaded files can be ...
Latest release 0.12.2.1 - Updated - 1.49K stars
BNFC
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...
Latest release 2.8.1 - Updated - 223 stars
lambdabot-misc-plugins
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. Provid...
Latest release 5.1.0.1 - Updated - 120 stars
lambdabot-trusted
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. This s...
Latest release 5.1.0.1 - Updated - 120 stars
lambdabot-irc-plugins
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. Provid...
Latest release 5.1.0.1 - Updated - 120 stars
lambdabot-reference-plugins
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. Provid...
Latest release 5.1.0.1 - Updated - 120 stars
lambdabot-novelty-plugins
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. Provid...
Latest release 5.1.0.1 - Updated - 120 stars
lambdabot-social-plugins
Lambdabot is an IRC bot written over several years by those on the #haskell IRC channel. Provid...
Latest release 5.1.0.1 - Updated - 120 stars
cabal-rpm
This package provides a RPM packaging tool for Haskell Cabal-based packages. cabal-rpm has comma...
Latest release 0.12.5 - Updated - 21 stars
ampersand
You can define your business processes by means of rules, written in Relation Algebra.
Latest release 3.1.0 - Updated - 14 stars
rasa
A modular text editor This is only a snippet, see the project's README. Rasa is a text editor p...
Latest release 0.1.12 - Updated - 516 stars
yst
yst is a tool for generating a static website by filling string templates with data taken from YA...
Latest release 0.7 - Updated - 253 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 - 108 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
lol
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. For a detailed desc...
Latest release 0.6.0.0 - Updated - 82 stars
rlwe-challenges
Contains a library for reading serialized challenges (generated with hprotoc) and an executable u...
Latest release 0.1.0.1 - Updated - 82 stars
lol-apps
This library contains example cryptographic applications built using lol, a general-purpose libra...
Latest release 0.2.0.2 - Updated - 82 stars
herms
HeRM's: a Haskell-based Recipe Manager for delicious kitchen recipes
Latest release 1.9.0.4 - Updated - 80 stars
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Latest release 1.20 - Updated - 58 stars
yesod-markdown
A subset of Pandoc functionality useful for markdown processing in yesod applications
Latest release 0.12.3 - Updated - 14 stars
language-docker
All functions for parsing, printing and writting Dockerfiles are exported through Language.Docker...
Latest release 6.0.4 - Updated - 12 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
aur
Access package information from Arch Linux's AUR via its RPC interface. The main exposed function...
Latest release 6.0.0.1 - Updated - 5 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 - 283 stars
PortFusion
PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy...
Latest release 1.2.1 - Updated - 135 stars
ajhc
Ajhc is a fork of jhc. The jhc is a haskell compiler which aims to produce the most efficient pro...
Latest release 0.8.0.10 - Updated - 132 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 - 108 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search