Multi-backend, high-level EDSL for interacting with SQL databases

Read and Display Seitz Symbol

Sedna C API XML Binding

abstraction to an auto scrubbing and const time eq, memory chunk

Setups secure (unsorted) UDP packet transfer

Secure point-to-point connectivity library

Securely allocated and deallocated memory

Example of writing "secure" file removal in Haskell rather than C

Information-theoretic secure secret sharing

Secret Santa game assigner using QR-Codes

fork of secp256k1

Bindings for secp256k1

Bindings for secp256k1 library from Bitcoin Core

Second Transfer HTTP/2 web server

A simple library for static information-flow security in Haskell

SECDH Machine Simulator

A Haskell implementation of the SECD abstract machine

Semantic Editor Combinators

Common graph search algorithms

Infinite search in finite time with Hilbert's epsilon

Template Haskell support for global configuration data

Helpers to test code using Seakale

PostgreSQL backend for Seakale

Pure SQL layer on top of other libraries

Small web framework using Warp and WAI

A software defined radio library

SDP wrapper for Vector

SDP classes for unordered containers

SDP wrapper for Text

SDP wrapper for ByteString

SDP QuickCheck support

SDP IO extension

Hashable instances for SDP

DeepSeq SDP extension

Binary instances for SDP

Simple Data Processing

Self-delimiting numeric values encoding library

Bindings to SDL2_ttf

Sprite previewer/animator

Haskell bindings to SDL2_mixer

Haskell bindings to SDL2_image

Haskell bindings to SDL2_gfx

Run of the mill, frames per second timer implementation

image compositing with sdl2 - declarative style

An image loading and rendering library for sdl2 / sdl2-cairo

Render with Cairo on SDL textures

Both high- and low-level bindings to the SDL library (version 2.0.6+).

small testing tool for sdl2 and accelerated drivers

A parser for SDF version 2.1 using Parsec

Distributed SDE solver

Selective Disclosure for JSON Web Tokens (RFC 9901)

Automatic generation of Isabelle/HOL correctness proofs for security protocols

Fast CSV lexing on ByteString

generic types for Secure Scuttlebutt

Multidimensional integration over simplices

Process management and supervision daemon

Stronger password hashing via sequential memory-hard functions

This package provides functions for relocate an item within a list

scroll(6), a roguelike game

Worse Haskell documentation

Scrobbling server

GHCi scripts for standalone execution and Markdown documentation

Stack of error, reader, writer, state, and prompt monad transformers

grep-like CLI using Parsec parsers instead of regex

Take screenshot and copy it to the system clipboard

html pattern matching library and high-level interface concurrent requests lib for webscraping

html pattern matching library and high-level interface concurrent requests lib for webscraping

html pattern matching library and high-level interface concurrent requests lib for webscraping

Scrape websites for changes

Core Package for scrapbook

collect posts of site that is wrote in config yaml using feed or scraping

Scrabble play generation

An SCP protocol implementation

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp

Scotty utils library

TLS for Scotty

Adding session functionality to scotty

Webmachine-style REST library for scotty

A Better way of modeling web resources

Redirect to a normalized path

HTTP-request's query parameters parser abstraction for "scotty"

Combine scotty and haxl

Easy Mustache templating support for Scotty

Response format helper for the Scotty web framework

Html form validation using `ditto`

Fay integration for Scotty

Cookie management helper functions for Scotty framework

blaze-html integration for Scotty

The Play Framework style data binding in Scotty

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp

scotty with batteries included

An interactive renderer for plotting time-series data

An interactive renderer for plotting time-series data

Generates graphviz file of scons dependency information

Command-line interface for browsing and searching packages documentation

Haskell IDE library

A Haskell library for carefully refactoring critical paths

Scientific notation intended for tokenization

Numbers represented using scientific notation