معرفی شرکت ها
main all
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
symbolic Haskell theorem prover using SMT solving; documentation
-
fast incremental combinator parsing for bytestrings; documentation
-
scientific notation for floating-point numbers; documentation
-
Haskell web framework inspired by Ruby's Sinatra; documentation
-
Haskell SDL binding for GHC - documentation
-
Haskell SDL gfx binding for GHC - documentation
-
Haskell SDL Image binding for GHC - documentation
-
Haskell SDL Mixer binding for GHC - documentation
-
Haskell SDL TTF binding for GHC - documentation
-
high- and low-level bindings to the SDL 2 library; documentation
-
bindings to SDL2_ttf; documentation
-
(m, n)-threshold secret sharing scheme; documentation
-
auto-scrubbing and const-time-eq memory chunk abstraction; documentation
-
selective applicative functors; documentation
-
Align and Zip type-classes from the common Semialign ancestor; documentation
-
Haskell 98 semigroupoids: Category sans id; documentation
-
Haskell98 semigroups; documentation
-
Haskell portable sendfile library; documentation
-
family of combinators for defining webservices APIs; documentation
-
library for writing clients for servant webservices; documentation
-
Core functionality and class for client function generation for servant APIs; documentation
-
combinators for defining webservices APIs and serving them; documentation
-
utility functions for working with sets; documentation
-
Cross-platform library for setting environment variables; documentation
-
Haskell bindings to setlocale; documentation
-
Haskell SHA suite of message digest functions; documentation
-
Haskell library for writing build systems; data files
-
Haskell library for writing build systems; documentation
-
toolkit for making compile-time interpolated templates; documentation
-
write shell scripts with Conduit; documentation
-
shell-like (systems) programming in Haskell; documentation
-
verify that an expression does not typecheck; documentation
-
Show instances for lambdabot; documentation
-
combinators to write Show instances; documentation
-
prevent or capture writing to stdout and other handles; documentation
-
minimalist web framework for the WAI server interface; documentation
-
simple reflection of expressions containing variables; documentation
-
Cross platform library for the sendfile system call; documentation
-
A simple way to interact with an SMT solver process.; documentation
-
basic template language for the Simple web framework; documentation
-
type-level booleans; documentation
-
Haskell framework for generating singleton types; documentation
-
family of cryptographic hash functions; documentation
-
syntax highlighting library; documentation
-
syntax highlighting library; documentation
-
Another lightweight testing library; documentation
-
A library for working with the SMTLIB format.; documentation
-
Simple email sending via SMTP; documentation
-
Snap Web Framework; documentation
-
Snap: A Haskell Web Framework (Core); documentation
-
iteratee-based, epoll-enabled web server for the Snap Framework; documentation
-
SOAP client library; documentation
-
TLS-enabled SOAP transport (using tls package); documentation
-
printing SockAddr value; documentation
-
SOCKS proxy library; documentation
-
existential type: Some; documentation
-
true sums of products; documentation
-
Haskell library for splitting lists; documentation
-
fast splittable PRNG; documentation
-
copyless conversion between ByteString and Vector.Storable; documentation
-
SQL keywords data constructor into OverloadedString; documentation
-
API documentation of the haskell-src-exts library; documentation
-
simplified view on the haskell-src-exts AST; documentation
-
helper functions for working with haskell-src-exts trees; documentation
-
parse source to Template Haskell abstract syntax; documentation
-
abstraction for things that work like IORef; documentation
-
simple State-like monad transformer state push/pop; documentation
-
state variables in Haskell; documentation
-
pure immutable hash; documentation
-
A library of statistical types, data, and functions; documentation
-
StatusNotifierItem/libappindicator dbus implementation; documentation
-
additional types of channels for STM; documentation
-
updatable one-shot timer polled with STM; documentation
-
monad transformer version of the ST monad; documentation
-
Storable instance for Complex; documentation
-
elegant definition of Storable instances for records; documentation
-
Storable instance for pairs and triples; documentation
-
Fast binary serialization; documentation
-
fast and lightweight binary serialization; documentation
-
Haskell stream (infinite list) library for GHC; documentation
-
common lower-level functions for various streaming data libraries; documentation
-
Strict variants of standard Haskell datatypes; documentation
-
strict linked list; documentation
-
simplifies dealing with different types for strings; documentation
-
writer monad for multi-line string literals; documentation
-
Implements the "StringPrep" algorithm; documentation
-
Fast searching, splitting and replacing of ByteStrings; documentation
-
DSL for building SVG; documentation
-
semantic web toolkit - library documentation
-
Generic programming library for Haskell; documentation
-
Haskell library for generic programming; documentation
-
consistent filesystem interaction across GHC versions; documentation
-
high-level, byte-based file and directory path manipulations; documentation
-
toy module to temporarily redirect a program's stdout; documentation
-
two-dimensional data tables with rendering functions; documentation
-
newtype wrappers for phantom types; documentation
-
explicit sharing with tags; documentation
-
Documentation for Haskell TagSoup library
-
streamlined HTML tag parser; documentation
-
reading, writing and manipulating ".tar" archive files; documentation