development

A smarter QuickCheck

A package exposing a helper function for generating smart constructors

Old Client SDK and CLI for the Joyent SmartDataCenter API

Old Client SDK and CLI for the Joyent SmartDataCenter API

Group strings or bytestrings by words in common

Haskell Behavior Tree Library

Web based flash card for Word Smart I and II vocabularies

Combinators for Maybe types

Aeson support for the smash library

Optics for the smash library

Optics for the smash library

Optics for the smash library using optics-core

Linear time row minima for totally monotone matrices

Symbolic Model Checking for Dynamic Epistemic Logic

A library for Secure Multi-Execution in Haskell

Please see README.md

String manipulation tool written in haskell

Full support of OpenSMILES and SMARTS specifications for Haskell

Parse arrays of tokens

Command line tool for Smith

API client for Smith

A lightweight Haskell implementation of Smith normal form over the integers

A tiny, lazy SMT solver

Smooth curves via several interpolation modes

SMSAero API and HTTP client based on servant library

Interface to Satisfiability Modulo Theories solvers

Parsing and printing SMT-LIB

A Haskell parser for SMT-LIB version 2.6

Library for parsing SMTLIB2

A library for working with the SMTLIB format

Low-level functions for SMT-LIB-based interaction with SMT solvers

An SMT-LIB backend running solvers as external processes

Testing SMT-LIB backends

An SMT-LIB backend implemented using Z3's C API

A type-safe interface to communicate with an SMT solver

Dump the communication with an SMT solver for debugging purposes

A type-safe interface to communicate with an SMT solver

Helper functions to create SMTLib expressions in QuickCheck

Get timing informations for SMT queries

Simple email sending via SMTP

An SMTP client EDSL

Listen for SMTP traffic and send it to an MTA script

Unofficial API client for smtp.bz

A simple SMTP client library

Gmail SMTP Client

GHC Source Plugin that helps to manage imports

GHC Source Plugin that helps to minimise imports and generate explicit exports

Strict ByteString Parser Combinator

A programming language with no semantics

A basic console snake game

Snake Game Using OpenGL

Top-level package for the Snap Web Framework

Accept header branching for the Snap web framework

None

Command-line tool to manage Snap AuthManager database

Blaze-html integration for Snap

Blaze-html-clay integration for Snap

Methods to manipulate Configurator objects for Snap & Snaplets

Snap: A Haskell Web Framework (core interfaces and types)

Add CORS headers to Snap applications

Serve Elm files through the Snap web framework

Collect errors in batches and dispatch them

A collection of useful helpers and utilities for Snap web applications

Language handling for Snap

Snap dynamic loader

Snap static loader

Declarative routing for Snap

Typesafe URLs for Snap applications

A web server for the Snap Framework

Streaming Snap handlers

Scaffolding CLI for the Snap Framework

A library for BDD-style testing with the Snap Web Framework

Snap Framework utilities

Type safe URLs for Snap

Acid-state snaplet for Snap Framework

Generic action log snaplet for the Snap Framework

Snap framework snaplet for the AMQP library

Provides an Acid-State backend for the Auth Snaplet

CoffeeScript for Snap, auto-compilation and pre-compilation

A Snaplet for CSS minification

Alternate authentication snaplet

DEPRECATED!

Fay integration for Snap with request- and pre-compilation

Serve javascript files compiled with GHCJS

A Hasql snaplet

Snaplet for Facebook's Haxl

HDBC snaplet for Snap Framework

Snap framework snaplet for the Logger API library

Snaplet-i18n

Snap framework snaplet for the InfluxDB library

Lexical Style Sheets - Snap Web Framework adaptor

Snap framework snaplet for the Mandrill API library

Snap Framework MongoDB support as Snaplet

Minimalistic MongoDB Snaplet

Mysql-simple snaplet for the Snap Framework

Snaplet-oauth

Persistent snaplet for the Snap Framework

Postgresql-simple snaplet for the Snap Framework

Postmark snaplet for the Snap Framework

Automatic (re)compilation of purescript projects