copilot
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can
- Category
- Haskell packages
Official docs outline
copilot-language.github.ioExtra Credit builds an outline of copilot's docs the first time your work uses it. Until then, start at the official documentation.
More in Haskell packages
All 1,000- hsyslog
- representable-tries Tries from representations of polynomial functors
- text-zipper
- singleton-bool
- streams Various Haskell 2010 stream comonads. * Data.Stream.Future provides a coinductive anti-causal stream, or non-empty ZipList. The comonad prov
- hyphenation Configurable Knuth-Liang hyphenation Uses the UTF8 encoded hyphenation patterns provided by hyph-utf8 from http://www.ctan.org/tex-archive/
- hmatrix-gsl-stats Purely functional interface for statistics based on hmatrix and GSL Relieves the burden of alloc/free routines and is otherwise essentially
- gi-cairo Bindings for Cairo, autogenerated by haskell-gi.
- insert-ordered-containers Associative containers retaining insertion order for traversals. The implementation is based on `unordered-containers`.
- clay Clay is a CSS preprocessor like LESS and Sass, but implemented as an embedded domain specific language (EDSL) in Haskell. This means that al
- type-natural
- crypto-conduit This package contains everything that you need to use a cryptographic package that supports the crypto-api package using conduits from the c