haskellPackages

Sketch programming with Copilot

Random access lists: skew binary

A very quick-and-dirty WebSocket server

An implementation of pure skip lists

Skip variables

Check dates of container images

Eclectic collection of utility functions

Skylark client

Syntax highlighting library

Syntax highlighting library

Customized Skylighting syntax highlighters

ANSI formatter for skylighting syntax highlighting library

HTML formatter for skylighting syntax highlighting library

ConTeXt formatter for skylighting syntax highlighting library

LaTeX formatter for skylighting syntax highlighting library

Lucid support for Skylighting

Utilities for modifying Skylighting syntaxes

Skype Desktop API binding for Haskell

Export Skype chat logs to text files

A programmable markup language to generate HTML

Haskell API for interacting with Slack

Bindings to the Slack RTM API

Slack notifier for Haskell project

Please see the README on GitHub at https://github.com/codedownio/slack-progressbar#readme

Slack API Request Verification HMAC

Bindings for the Slack web API

A note taking CLI tool

A fundamental solution to ghost threads and silent exceptions

ZZzzZz

Generate C++ skeletons from slice files

Python-ish slicing traversals for Haskell

A quick & easy static site builder built with shake and pandoc

A quick & easy static site builder built with shake and pandoc

Ws convert markdown to reveal-js

Generate slides from Haskell code

Functional reactive user interface programming

SLIP-0032: Extended serialization format for BIP-32 wallets

Sized list

A command line interface to Sloane's OEIS

Visualize mathematical function's slope fields

Write lambdas without naming the parameters

Testing for minimal strictness

Pure Haskell slotmap implementation over ST or IO

Type-safe slugs for Yesod ecosystem

Clean URI slugs for Haskell

Convert text into slugs

Handle molecular sequences

Serialize to bytes

Low-level unboxed arrays, with minimal features

Flatten camel case text in LaTeX files

A property-based testing library

See README for more info

SmallCheck properties for common laws

SmallCheck properties for lens

Extra SmallCheck series and utilities

A Haskell port of the smallpt path tracer

A Unicode text type, optimized for low memory overhead

Utilities for the Smaoin semantic information model

A command line tool for working with sets and maps

A smarter QuickCheck

A package exposing a helper function for generating smart constructors

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