propellor
Propellor ensures that the system it's run in satisfies a list of properties, taking action as necessary when a property is not yet met.
More in Haskell packages
All 1,000- acid-state
- sbv Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
- ad Forward-, reverse- and mixed- mode automatic differentiation combinators with a common API.
- diagrams-lib Diagrams is a flexible, extensible EDSL for creating graphics of many types.
- language-javascript Parses Javascript into an Abstract Syntax Tree (AST). Initially intended as frontend to hjsmin.
- hxt
- publicsuffixlist
- terminfo
- io-streams Overview The io-streams library contains simple and easy-to-use primitives for I/O using streams.
- servant
- cairo
- regex-compat One module compat layer over regex-posix to replace Text.Regex. See also for more information.