معرفی شرکت ها
main mipsel
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
بسته
توضیح خلاصه
-
A model for human colour/color perception; profiling libraries
-
Pure Haskell commonmark parser
-
Pure Haskell commonmark parser; profiling libraries
-
Pure Haskell commonmark parser extensions
-
Pure Haskell commonmark parser extensions; profiling libraries
-
Bridge between commonmark and pandoc AST
-
Bridge between commonmark and pandoc AST; profiling libraries
-
Haskell 98 comonads
-
Haskell 98 comonads; profiling libraries
-
Extra concurrency primitives
-
Extra concurrency primitives; profiling libraries
-
ungarble output from several threads
-
ungarble output from several threads; profiling libraries
-
A fast concurrent unique identifier supply with a pure API
-
A fast concurrent unique identifier supply with a pure API; profiling libraries
-
conditional and boolean operators with monadic variants
-
conditional and boolean operators with monadic variants (prof)
-
streaming data processing library
-
streaming data processing library; profiling libraries
-
batteries-included conduit: adapters for common libraries
-
batteries-included conduit: adapters for common libraries; profiling libraries
-
simple INI-based configuration files
-
simple INI-based configuration files; profiling libraries
-
schema definitions for the config-value package
-
schema definitions for the config-value package; profiling libraries
-
simple, layout-based value language similar to YAML/JSON
-
simple, layout-based value language similar to YAML/JSON; profiling libraries
-
Parser and writer for sectioned config files in Haskell
-
Parser and writer for sectioned config files in Haskell; profiling libraries
-
dynamic config file reloading
-
dynamic config file reloading; profiling libraries
-
simple and easy network connections API
-
simple and easy network connections API; profiling libraries
-
Constraint manipulation
-
Constraint manipulation; profiling libraries
-
utility package for constraints
-
utility package for constraints; profiling libraries
-
Contravariant functors
-
Contravariant functors; profiling libraries
-
extras for the "contravariant" package
-
extras for the "contravariant" package; profiling libraries
-
free monads
-
free monads; profiling libraries
-
simple monad transformer for imperative-style loops
-
simple monad transformer for imperative-style loops; profiling libraries
-
Typeclasses and instances for converting between types, GHC package
-
Typeclasses and instances for converting between types, GHC profiling package
-
HTTP cookie-parsing and rendering library
-
HTTP cookie-parsing and rendering library; profiling libraries
-
Stream DSL for writing embedded C programs.
-
Stream DSL for writing embedded C programs.; profiling libraries
-
Compiler for Copilot targeting C99
-
Compiler for Copilot targeting C99; profiling libraries
-
Intermediate representation for Copilot.
-
Intermediate representation for Copilot.; profiling libraries
-
Interpreter for Copilot.
-
Interpreter for Copilot.; profiling libraries
-
DSL for monitoring hard real-time distributed systems.
-
DSL for monitoring hard real-time distributed systems.; profiling libraries
-
Libraries for the Copilot language.
-
Libraries for the Copilot language.; profiling libraries
-
Prettyprinter of Copilot Specifications
-
Prettyprinter of Copilot Specifications; profiling libraries
-
k-induction for Copilot.
-
k-induction for Copilot.; profiling libraries
-
pseudo-random number generator using AES in counter mode
-
pseudo-random number generator using AES in counter mode; profiling libraries
-
low-level routines to get basic properties of the platform
-
low-level routines to get basic properties of the platform; profiling libraries
-
crack various integer, floating-point data formats
-
Robust, reliable performance measurement and analysis
-
Robust, reliable performance measurement and analysis; profiling libraries
-
Criterion measurement functionality and associated types
-
Criterion measurement functionality and associated types; profiling libraries
-
generic interface for cryptographic operations
-
generic interface for cryptographic operations; profiling libraries
-
Generic cryptography cipher tests
-
Generic cryptography cipher tests; profiling libraries
-
generic cryptographic cipher types
-
generic cryptographic cipher types; profiling libraries
-
generic public-key algorithm types
-
generic public-key algorithm types; profiling libraries
-
simple cryptographic random related types
-
simple cryptographic random related types; profiling libraries
-
simple random generators API for cryptography related code
-
simple random generators API for crypto-related code; profiling libraries
-
collection of crypto hashes, fast, pure and practical
-
collection of crypto hashes, fast, pure and practical; profiling libraries
-
Conduit interface to cryptohash
-
Conduit interface to cryptohash; profiling libraries
-
crypto-api interfaces for cryptohash
-
crypto-api interfaces for cryptohash; profiling libraries
-
fast, pure and practical MD5 implementation
-
fast, pure and practical MD5 implementation; profiling libraries
-
fast, pure and practical SHA-1 implementation
-
fast, pure and practical SHA-1 implementation; profiling libraries
-
fast, pure and practical SHA-256 implementation
-
fast, pure and practical SHA-256 implementation; profiling libraries
-
cryptographic primitives
-
cryptographic primitives; profiling libraries