Haskell Utils

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

©️ Manager for license headers in source code files.

Convert numbers into words.

Functions to work with unicode characters.

Library of modules I sometimes use.

Source code error pretty printing

call MiniZinc from Haskell and translate back-and-forth using Aeson

Hackager tool for releasing Haskell packages to Hackage

Data types for compositional, type-directed serialization

Tool for comparing rpm package trees

Generate documentation for API endpoints via typerep

A command-line client for querying a Pagure project server

Tool for downloading Fedora images

Bit manipulation

Miscellaneous utilities for building and working with command line interfaces

Haskell program configuration using higher kinded data

Parses command-line arguments

Command line interface to the MMark markdown processor

Programmatically create new instances using core-to-core plugins

a password entry tool

:stew::fork_and_knife: A command-line manager for delicious kitchen recipes

String parser

:outbox_tray: Automatically re-export Haskell modules.

Haskell 98 Profunctors

Tools for programming with ConstraintKinds in GHC

🐚 Out of the shell solution for scripting in Haskell

A useful cli tool to draw figures

A uniform interface for String-like objects in Haskell

DISCONTINUED. Rename every file in a directory with his SHA1 hash.

Haskell library to generate and verify "Fernet" HMAC-based authentication tokens.

DISCONTINUED. A command line tool to identify unused code.

Utilities for interacting with the docker registry and generating nix build instructions

HTTP client with pipes interface

DISCONTINUED. Query the namecoin blockchain

Vector and Text utilities

Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.

DISCONTINUED. An insertion-order-preserving set

Read parquet format with Haskell

cscope like browser for Haskell code

simple alternative to type classes

a (free) monad for "Workflow" actions. e.g. press some keys, click the mouse, get and set the clipboard. can be interpreted differently for different platforms.

DISCONTINUED. (ab)Use Google Translate as a speech synthesiser

DISCONTINUED. All-in-one session handling for servant-based frontends

Bit arrays for Haskell

Simple bit vectors for Haskell

A bit array (aka bitset, bitmap, bit vector) API for numeric types

DISCONTINUED. General purpose simple caching.

Representable profunctors

Profunctor composition

playing with hyperfunctions

Haskell 98 Groupoids

A job queue library

DISCONTINUED. Command Line Interface Utility (Printing, Formatting, Options parsing) for Haskell

tiny git"lab/hub" cli wrapper

Easy reading and parsing of command line arguments

Pipes to deal with zlib compressed data.

DISCONTINUED. Decompression support for the Haskell machines library

Compressed generators for monoidal reducers

Simple command line interface arguments parser

An interface for retrieving .cabal file data for shell scripts.

Print Data instances as a nested tree

Access an instance's constraints

Use templates for files and directories

Generate a wordlist-based password easily

DISCONTINUED. Token-based authentication and authorization

All-around tools for compilation development

OTP Authenticator (ala Google Authenticator) cli app

Give your dependencies stars on GitHub! 🌟

Command Line Interface to translate words

Personal projects generator written in haskell

Deterministic password generator core

DISCONTINUED. Serialization of arbitrary Haskell expressions

Delete half (minus ε) of your Haskell code!

Optima CLI arguments parsers for Hasql

DISCONTINUED. OAuth2 package for use with Req

DISCONTINUED. S-expression parser in Haskell

A Haskell conduit that represents a Virtual File System.

📤 defer instance resolution until runtime

Bencodex reader/writer for Haskell

Record your shell session in the markdown format

execute actions periodically while avoiding drift

Simple `find` but with http support

ghcWithPackages cmdline util

Generic building blocks for creating servers using IterIO

Simple terminal-based time tracker

HTTP client package with enumerator interface and HTTPS support.

A language for combinatorial optimization in Haskell

A port of wai-conduit for the pipes ecosystem

Text pipes

Streaming serialization library on top of "pipes" and "cereal-plus".

Encode and decode binary streams using the pipes and binary libraries.

Easily stream directory contents in constant memory

XHTML combinator library

Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.

Extended serialization library on top of "cereal".

Generate Haskell code from a type

Document query utility, mixing CSS Selector syntax and regular expressions.

Utility to generate routes for use with yesod-routes

A CLI tool for piping from stdin to a redis pub/sub channel.

An attempt to compile Mustache templates to Haskell code