37,779 packages · page 177 of 378
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Interface to Satisfiability Modulo Theories solvers |
0.0.0.0 |
0 | 11 | 0 | 0 | unmaintained | ||
Parsing and printing SMT-LIB |
0.0.2 |
0 | 7 | 0 | 0 | unmaintained broken | ||
A Haskell parser for SMT-LIB version 2.6 |
0.1.0.1 |
0 | 7 | 1 | 2 | unmaintained | ||
A library for working with the SMTLIB format |
1.1 |
0 | 6 | 1 | 1 | unmaintained | ||
An SMT-LIB backend implemented using Z3's C API |
0.3.1 |
0 | 12 | 0 | 0 | unmaintained | ||
A type-safe interface to communicate with an SMT solver |
1.0 |
0 | 9 | 4 | 4 | unmaintained broken | ||
Dump the communication with an SMT solver for debugging purposes |
1.0 |
0 | 12 | 0 | 0 | unmaintained | ||
A type-safe interface to communicate with an SMT solver |
1.0 |
0 | 13 | 1 | 1 | unmaintained | ||
Helper functions to create SMTLib expressions in QuickCheck |
1.0 |
0 | 10 | 1 | 2 | unmaintained | ||
Get timing informations for SMT queries |
1.0 |
0 | 8 | 0 | 0 | unmaintained | ||
An SMTP client EDSL |
0.1.0.2 |
0 | 18 | 0 | 0 | unmaintained broken | ||
Listen for SMTP traffic and send it to an MTA script |
0.2 |
0 | 8 | 0 | 0 | unmaintained | ||
Unofficial API client for smtp.bz |
1.2.0 |
0 | 12 | 0 | 0 | unmaintained | ||
Gmail SMTP Client |
1.3.2 |
0 | 16 | 0 | 0 | unmaintained broken | ||
GHC Source Plugin that helps to manage imports |
0.1.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
GHC Source Plugin that helps to minimise imports and generate explicit exports |
0.3.6.2 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Strict ByteString Parser Combinator |
0.4.0.0 |
0 | 7 | 0 | 0 | unmaintained broken | ||
A programming language with no semantics |
0.1.2.1 |
0 | 13 | 0 | 0 | unmaintained broken | ||
A basic console snake game |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Snake Game Using OpenGL |
1.2 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Accept header branching for the Snap web framework |
0.2.1 |
0 | 9 | 1 | 1 | unmaintained broken | ||
None |
0.7.0 |
0 | 6 | 1 | 1 | unmaintained | ||
Command-line tool to manage Snap AuthManager database |
0.2 |
0 | 15 | 0 | 0 | unmaintained | ||
blaze-html integration for Snap |
0.2.1.5 |
0 | 8 | 0 | 0 | unmaintained | ||
blaze-html-clay integration for Snap |
0.1.0.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Methods to manipulate Configurator objects for Snap & Snaplets |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Snap: A Haskell Web Framework (core interfaces and types) |
1.0.5.1 |
0 | 30 | 85 | 193 | unmaintained | ||
Add CORS headers to Snap applications |
1.3.0 |
0 | 7 | 0 | 0 | unmaintained | ||
Serve Elm files through the Snap web framework |
0.1.1.2 |
0 | 8 | 0 | 0 | unmaintained | ||
Collect errors in batches and dispatch them |
1.1.5 |
0 | 10 | 0 | 0 | unmaintained broken | ||
A collection of useful helpers and utilities for Snap web applications |
0.12.3.2 |
0 | 31 | 3 | 3 | unmaintained | ||
Language handling for Snap |
0.1.0.5 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Snap dynamic loader |
1.0.0.2 |
0 | 9 | 2 | 2 | unmaintained broken | ||
Snap static loader |
1.0.0.1 |
0 | 6 | 3 | 3 | unmaintained | ||
Declarative routing for Snap |
0.3.1 |
0 | 15 | 0 | 0 | unmaintained broken | ||
Typesafe URLs for Snap applications |
0.0.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
A web server for the Snap Framework |
1.1.2.1 |
0 | 20 | 36 | 162 | unmaintained | ||
Streaming Snap handlers |
0.1.1.1 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Scaffolding CLI for the Snap Framework |
1.0.0.2 |
0 | 9 | 0 | 0 | unmaintained broken | ||
A library for BDD-style testing with the Snap Web Framework |
0.6.0.0 |
0 | 15 | 0 | 0 | unmaintained broken | ||
Snap Framework utilities |
0.1.2 |
0 | 12 | 0 | 0 | unmaintained | ||
Type safe URLs for Snap |
0.5.1.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
acid-state snaplet for Snap Framework |
0.2.7 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Generic action log snaplet for the Snap Framework |
0.4.0 |
0 | 23 | 0 | 0 | unmaintained | ||
Snap framework snaplet for the AMQP library |
1.1.0.0 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Provides an Acid-State backend for the Auth Snaplet |
0.1.0 |
0 | 21 | 0 | 0 | unmaintained | ||
CoffeeScript for Snap, auto-compilation and pre-compilation |
0.1.0.2 |
0 | 10 | 0 | 0 | unmaintained broken | ||
A Snaplet for CSS minification |
0.1.2 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Alternate authentication snaplet |
0.3.0 |
0 | 30 | 0 | 0 | unmaintained broken | ||
DEPRECATED! You should use standard Snap >= 0.9 "environments" functionality. It provided ability to easly read configuration based on given app environment given at command line, envs are defined in app configuration file |
0.1.1 |
0 | 12 | 0 | 0 | unmaintained broken | ||
Fay integration for Snap with request- and pre-compilation |
0.3.3.14 |
0 | 11 | 1 | 1 | unmaintained | ||
Serve javascript files compiled with GHCJS |
0.1.0.0 |
0 | 10 | 0 | 0 | unmaintained | ||
A Hasql snaplet |
1.0.2 |
0 | 13 | 0 | 0 | unmaintained | ||
Snaplet for Facebook's Haxl |
0.0.0.2 |
0 | 9 | 0 | 0 | unmaintained | ||
HDBC snaplet for Snap Framework |
0.9.1 |
0 | 15 | 0 | 0 | unmaintained | ||
Snap framework snaplet for the Logger API library |
1.0.0.2 |
0 | 9 | 0 | 0 | unmaintained broken | ||
snaplet-i18n |
0.2.0 |
0 | 13 | 0 | 0 | unmaintained | ||
Snap framework snaplet for the InfluxDB library |
1.0.1.1 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Lexical Style Sheets - Snap Web Framework adaptor |
0.1.0.0 |
0 | 13 | 0 | 0 | unmaintained | ||
Snap framework snaplet for the Mandrill API library |
0.1.0.3 |
0 | 10 | 0 | 0 | unmaintained broken | ||
Snap Framework MongoDB support as Snaplet |
0.2 |
0 | 15 | 0 | 0 | unmaintained | ||
Minimalistic MongoDB Snaplet |
0.0.6.12 |
0 | 9 | 0 | 0 | unmaintained broken | ||
mysql-simple snaplet for the Snap Framework |
0.2.2.0 |
0 | 16 | 0 | 0 | unmaintained | ||
snaplet-oauth |
0.0.6 |
0 | 25 | 0 | 0 | unmaintained | ||
persistent snaplet for the Snap Framework |
0.7.1 |
0 | 21 | 1 | 1 | unmaintained broken | ||
postgresql-simple snaplet for the Snap Framework |
1.2.0.0 |
0 | 16 | 1 | 1 | unmaintained broken | ||
Postmark snaplet for the Snap Framework |
0.2.0 |
0 | 9 | 0 | 0 | unmaintained | ||
Automatic (re)compilation of purescript projects |
0.6.0.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
A ReCAPTCHA verification snaplet with Heist integration and connection sharing |
1.0.3 |
0 | 14 | 0 | 0 | unmaintained | ||
Redis support for Snap Framework |
0.1.6.1 |
0 | 14 | 2 | 2 | unmaintained broken | ||
CRUD for JSON data with Redis storage |
0.1.0.0 |
0 | 18 | 0 | 0 | unmaintained | ||
REST resources for the Snap web framework |
0.1.0 |
0 | 16 | 0 | 0 | unmaintained | ||
A Snaplet for the Riak database |
0.2.1.1 |
0 | 13 | 0 | 0 | unmaintained | ||
Sass integration for Snap with request- and pre-compilation |
0.1.2.0 |
0 | 9 | 0 | 0 | unmaintained broken | ||
Modularised session state for Snaplets, in a Snaplet |
0.1.1 |
0 | 13 | 0 | 0 | unmaintained broken | ||
Snaplet for Sedna Bindings. Essentailly a rip of snaplet-hdbc. |
0.0.1.0 |
0 | 10 | 0 | 0 | unmaintained | ||
Snaplet for the ses-html package |
0.1.1.0 |
0 | 12 | 0 | 0 | unmaintained broken | ||
sqlite-simple snaplet for the Snap Framework |
1.0.0.2 |
0 | 23 | 2 | 2 | unmaintained broken | ||
Snaplet for JWT authentication with snaplet-sqlite-simple |
0.2.0.0 |
0 | 19 | 0 | 0 | unmaintained | ||
Stripe snaplet for the Snap Framework |
0.3.0 |
0 | 13 | 0 | 0 | unmaintained | ||
Snaplet for Snap Framework enabling developers to administrative tasks akin to Rake tasks from Ruby On Rails framework |
0.1.2 |
0 | 13 | 0 | 0 | unmaintained | ||
Typed session snaplets and continuation-based programming for the Snap web framework |
0.5 |
0 | 14 | 0 | 0 | unmaintained broken | ||
A snaplet that communicates with wordpress over its api |
0.1.1.2 |
0 | 27 | 0 | 0 | unmaintained | ||
Fast Haskell bindings to Google’s Snappy compression library |
0.2.0.4 |
0 | 7 | 7 | 10 | unmaintained | ||
Bindings to Google's Snappy: A fast compression library |
0.1.3 |
0 | 14 | 1 | 4 | unmaintained | ||
Conduit bindings for Snappy (see snappy package) |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained broken | ||
Snappy Framing Format in Haskell |
0.1.2 |
0 | 7 | 2 | 4 | unmaintained | ||
Snappy compression library |
0.1.1.0 → 0.1.2.0 |
0 | 7 | 2 | 7 | unmaintained outdated | ||
An enumeratee that uses Google's snappy compression library |
0.1 |
0 | 8 | 0 | 0 | unmaintained | ||
Lazy bytestring compression and decompression |
0.1.0.0 |
0 | 8 | 0 | 0 | unmaintained | ||
Audio file reading/writing |
0.10.0.0 |
0 | 11 | 0 | 0 | unmaintained | ||
Tiny, declarative wrapper around ncurses |
0.1 |
0 | 10 | 0 | 0 | unmaintained | ||
A compositional web UI library, which draws to a Canvas element |
2 |
0 | 7 | 1 | 1 | unmaintained | ||
Import to snelstart |
1.1.0 |
0 | 20 | 0 | 0 | unmaintained broken | ||
Markdown tester |
0.1.0.3 |
0 | 7 | 2 | 2 | unmaintained broken | ||
Extracts labeled snippets of code to files |
0.2.0 |
0 | 6 | 0 | 0 | unmaintained | ||
The Simple Nice-Looking Manual Generator |
0.0.4 |
0 | 9 | 0 | 0 | unmaintained | ||
SNMP protocol library |
0.3.1.0 |
0 | 12 | 1 | 1 | unmaintained | ||
Strategic board game of medium complexity |
0.2.0.0 |
0 | 11 | 0 | 0 | unmaintained broken | ||
encode any binary instance to white space |
2009.12.1 |
0 | 7 | 0 | 0 | unmaintained |