Showing entries 14701-14800 out of 18268.
Singletons and induction over GHC TypeLits
Basic singleton types and definitions
A promoted and singled version of the base library
A promoted and singled version of the base library
A promoted and singled version of the base library
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package
A framework for generating singleton types
A framework for generating singleton types
A framework for generating singleton types
Singnal
Multivariate polynomial factorization via bindings to Singular-factory
An alternative to lazy I/O that doesn't conflate execution with evaluation
Nat singletons represented by Int
Siphash: a fast short input PRF
Encode and decode CSV files
Siren Tools for Haskell
Sirkel, a Chord DHT
Prototypical type checker for Type Theory with Sized Natural Numbers
Sitemap parser
Generate XML Sitemaps & Sitemap Indexes
A simple to understand static site generator
Sixel library to show images in a terminal emulator
A six figure group of time
An eDSL for writing 65(C)02 bytecode
Sized functors, for size-based enumerations
Fast size comparison for standard containers
Sized sequence data-types
Multidimensional grids with sized specified at compile time
Sized types in Haskell using the GHC Nat kind
Size-parameterized vector types and functions
Create a Sized version of any container
Aeson instances for 'Sized'
QuickCheck instance for 'Sized'
'Sized' wrappers for text
Recursively show space (size and i-nodes) used in subdirectories
Simple JavaScript Profiler
The Simple Javascript Wrench
Skein, a family of cryptographic hash functions
Skeletal set - a set with equivalence relation different from equality
Batteries-included, opinionated test framework
A tool to access the OSX keychain
Manage project skeletons
An overly complex Haskell web framework
A MyAnimeList.net client
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