Showing entries 14001-14100 out of 18268.
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Component-based program synthesis using SBV
Formally prove properties of Haskell programs using SBV/SMT
Low-level Starcraft II API
A protocol buffer model for the Starcraft II bot API
Support and utility library for sc2hs
An interface to the Starcraft II bot API
Haskell bindings to sc3-rdu (sc3 rd ugens)
Library for writing fast/scalable TCP-based services
SCALE v2.0 codec for Haskell Web3 library
Scale an image to a new geometry
This is a library for handling calendars and resource availability based on the "top-nodes algorit…
A library for handling calendars and resource availability over time
Test webhooks locally
A high level web scraping library for Haskell
A high level web scraping library for Haskell
Scalpel scrapers for search engines
Lexical style suggestions for source code
Metadata types for Albedo Scanners
An implementation of the Scan Vector Machine instruction set in Haskell
Easy and type-safe format strings for parsing and printing
Fast non-backtracking incremental combinator parsing for bytestrings
Inject attoparsec parser with backtracking into non-backtracking scanner
Generates unique passwords for various websites from a single password
Streaming component combinators
Scene Graph
A Haskell library for writing SCGI programs
Marge schedules and show EVR
Pure deterministic scheduled computations
Find the ideal lesson layout
Work stealing scheduler
An interview scheduler using constraint satisfaction and Google Sheets
Exposes standard POSIX function sched_yield
Encoding-independent schemas for Haskell data types
Schema guided serialization
JSON-biased spec and validation tool
Converts ScholarlyMarkdown documents to HTML5/LaTeX/Docx format
Scholdoc fork of pandoc-citeproc
Scholdoc fork of texmath
Scholdoc fork of pandoc-types
Transformation of n-ary functions to unary functions
Rational numbers in scientific notation
Base types and classes for statistics, sciences and humanities
Haskell query for SciDB via shim
Mathematical/physical/chemical constants
Mathematical/physical/chemical constants
Numbers represented using scientific notation
Numbers represented using scientific notation
Scientific notation intended for tokenization
A Haskell library for carefully refactoring critical paths
Scientific workflow management system
Scientific workflow management system
Haskell IDE library
Command-line interface for browsing and searching packages documentation
Generates graphviz file of scons dependency information
An interactive renderer for plotting time-series data
An interactive renderer for plotting time-series data
Scotty with batteries included
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
The Play Framework style data binding in Scotty
Blaze-html integration for Scotty
Cookie management helper functions for Scotty framework
Fay integration for Scotty
Html form validation using ditto
Response format helper for the Scotty web framework
Easy Mustache templating support for Scotty
Combine scotty and haxl
HTTP-request's query parameters parser abstraction for "scotty"
Redirect to a normalized path
[Deprecated] A Better way of modeling web resources
Webmachine-style REST library for scotty
Adding session functionality to scotty
TLS for Scotty
Scotty utils library
An extension for Scotty allowing its user to build an HTML page easily
An SCP protocol implementation
Scrabble play generation
Collect posts of site that is wrote in config yaml using feed or scraping
Core Package for scrapbook
Scrape websites for changes
Size limited temp filesystem based on fuse
Take screenshot and copy it to the system clipboard
Stack of error, reader, writer, state, and prompt monad transformers
ESCRIPT: a human friendly language for programming Bitcoin scripts
Scrobbling server
Scroll(6), a roguelike game
This package provides functions for relocate an item within a list
Stronger password hashing via sequential memory-hard functions
Process management and supervision daemon
Multidimensional integration over simplices
A cross platform P2P VPN application built using Haskell
Generic types for Secure Scuttlebutt
Fast CSV lexing on ByteString
Automatic generation of Isabelle/HOL correctness proofs for security protocols
Distributed SDE solver
A parser for SDF version 2.1 using Parsec
Binding to libSDL
Binding to libSDL_gfx