@haskell/mtl
Monad classes for transformers, using functional dependencies
@haskell/filepath
Library for manipulating FilePaths in a cross platform way.
@haskell/bytestring
Fast, compact, strict and lazy byte strings with a list interface
@haskell/base
Core data structures and operations
@hackage/ogma-spec
Ogma: Runtime Monitor translator: JSON Frontend
@hackage/ogma-language-smv
Ogma: Runtime Monitor translator: SMV Language Frontend
@hackage/ogma-language-jsonspec
Ogma: Runtime Monitor translator: JSON Frontend
@hackage/ogma-language-copilot
Ogma: Runtime Monitor translator: Copilot Language Endpoints
@hackage/ogma-language-cocospec
Ogma: Runtime Monitor translator: CoCoSpec Language Frontend
@hackage/ogma-language-c
Ogma: Runtime Monitor translator: C Language Frontend
@hackage/ogma-extra
Ogma: Helper tool to interoperate between Copilot and other languages.
@hackage/aeson
Fast JSON parsing and encoding
@hackage/IfElse
Anaphoric and miscellaneous useful control-flow
@haskell/base
Core data structures and operations
@hackage/test-framework-quickcheck2
QuickCheck-2 support for the test-framework package.
@hackage/test-framework-hunit
HUnit support for the test-framework package.
@hackage/test-framework
Framework for running and organising tests, with HUnit and QuickCheck support
@hackage/ogma-core
Ogma: Helper tool to interoperate between Copilot and other languages.
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/HUnit
A unit testing framework for Haskell