@hackage copilot-bluespec dependencies
21 results
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/filepath
Library for manipulating FilePaths in a cross platform way.
@hackage/language-bluespec
An implementation of the Bluespec Haskell AST
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/pretty
Pretty-printing library
@hackage/QuickCheck
Automatic testing of Haskell programs
@hackage/extra
Extra functions I use.
@hackage/unix
POSIX functionality
@hackage/base
Core data structures and operations
@hackage/copilot-core
An intermediate representation for Copilot.
@hackage/test-framework-hunit
HUnit support for the test-framework package.
@hackage/HUnit
A unit testing framework for Haskell
@hackage/copilot-bluespec
A compiler for Copilot targeting FPGAs.
@hackage/process
Process libraries
@hackage/test-framework-quickcheck2
QuickCheck-2 support for the test-framework package.
@hackage/ieee754
Utilities for dealing with IEEE floating point numbers
@hackage/directory
Platform-agnostic library for filesystem operations
@hackage/test-framework
Framework for running and organising tests, with HUnit and QuickCheck support
@hackage/random
Pseudo-random number generation
@hackage/pretty
Pretty-printing library