@hackage / co-feldspar

Hardware software co-design Feldspar

Latest0.1.0.1

Dependencies

library:co-feldspar (18 dependencies)

@hackage / operational-alacarte A version of Operational suitable for extensible EDSLs
- Version: >=0.3
- License: BSD-3-Clause
@hackage / srcloc Data types for managing source code locations.
- Version:
- License: BSD-3-Clause
@hackage / simple-smt A simple way to interact with an SMT solver process.
- Version:
- License: BSD-3-Clause
@hackage / template-haskell Support library for Template Haskell
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.8
- License: BSD-2-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2
- License: BSD-3-Clause
@hackage / hardware-edsl Deep embedding of hardware descriptions with code generation.
- Version: >=0.1.6
- License: BSD-3-Clause
@hackage / language-c-quote C/CUDA/OpenCL/Objective-C quasiquoting library.
- Version:
- License: BSD-3-Clause
@hackage / language-vhdl VHDL AST and pretty printer in Haskell.
- Version: >=0.1.4
- License: BSD-3-Clause
@hackage / minisat A Haskell bundle of the Minisat SAT solver
- Version:
- License: BSD-3-Clause
@hackage / data-default-class A class for types with a default value (compatibility shim)
- Version:
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5
- License: BSD-3-Clause
@hackage / syntactic Generic representation and manipulation of abstract syntax
- Version: >=3.8
- License: BSD-3-Clause
@hackage / imperative-edsl Deep embedding of imperative programs with code generation
- Version: >=0.8.2
- License: BSD-3-Clause
@hackage / signals Synchronous signal processing for DSLs.
- Version: >=0.2.1
- License: BSD-3-Clause
@hackage / exception-transformers Type classes and monads for unchecked extensible exceptions.
- Version:
- License: BSD-3-Clause