mwc-random: Fast, high quality pseudo random number generation This package contains code for generating high quality random numbers that follow either a uniform or normal distribution. The generated numbers are suitable for use in statistical applications. The uniform PRNG uses Marsaglia's MWC256 (also known as MWC8222) multiply-with-carry generator, which has a period of 2^8222 and fares well in
optparse-applicative optparse-applicative is a haskell library for parsing options on the command line, and providing a powerful applicative interface for composing them. optparse-applicative takes care of reading and validating the arguments passed to the command line, handling and reporting errors, generating a usage line, a comprehensive help screen, and enabling context-sensitive bash, zsh, an
SBVPlugin: SBV Plugin for GHC On Hackage: http://hackage.haskell.org/package/sbvPlugin Example {-# OPTIONS_GHC -fplugin=Data.SBV.Plugin #-} module Test where import Data.SBV.Plugin test :: Proved (Integer -> Integer -> Bool) test x y = x + y >= x - y Note the GHC option on the very first line. Either add this to your file, or pass -fplugin=Data.SBV.Plugin as an argument to GHC, either on the comma
numeric-prelude: An experimental alternative hierarchy of numeric type classes The package provides an experimental alternative hierarchy of numeric type classes. The type classes are more oriented at mathematical structures and their methods come with laws that the instances must fulfill. [Skip to Readme]
sbv: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers. For details, please see: http://leventerkok.github.io/sbv/ [Skip to Readme] DataData.SBVData.SBV.CharData.SBV.ControlData.SBV.DynamicData.SBV.EitherData.SBV.FloatData.SBV.InternalsData.SBV.ListData
Friday provides functions to manipulate images in a functional way. The library is designed to be fast, generic and type-safe. Images can be represented in two representations: the Manifest representation stores images in Haskell Vectors ; the Delayed representation uses functions to produce images pixels. These images can be combined to produce complex transformations. By some inlining, Haskell c
monad-control: Lift control operations, like exception catching, through monad transformers This package defines the type class MonadBaseControl, a subset of MonadBase into which generic control operations such as catch can be lifted from IO or any other base monad. Instances are based on monad transformers in MonadTransControl, which includes all standard monad transformers in the transformers li
This package provides functionality for generalising the deriving mechanism in Haskell to arbitrary classes. It was first described in the paper: A generic deriving mechanism for Haskell. Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. Haskell'10. The current implementation integrates with the new GHC Generics. See http://www.haskell.org/haskellwiki/GHC.Generics for more infor
reflection: Reifies arbitrary terms into types that can be reflected back into terms This package addresses the configuration problem which is propagating configurations that are available at run-time, allowing multiple configurations to coexist without resorting to mutable global variables or System.IO.Unsafe.unsafePerformIO. That package is an implementation of the ideas presented in the paper "
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く