co-feldspar: Hardware software co-design Feldspar
An implementation of the Feldspar EDSL with a focus on hardware software co-design and resource-awareness.
Modules
- Data
- Data.Selection
- Data.Struct
- Feldspar
- Array
- Feldspar.Array.Buffered
- Feldspar.Array.Queue
- Feldspar.Array.Vector
- Feldspar.Frontend
- Feldspar.Hardware
- Feldspar.Hardware.Compile
- Feldspar.Hardware.Expression
- Feldspar.Hardware.Frontend
- Feldspar.Hardware.Optimize
- Feldspar.Hardware.Primitive
- Feldspar.Hardware.Primitive.Backend
- Feldspar.Hardware.Representation
- Feldspar.Representation
- Feldspar.Software
- Feldspar.Software.Compile
- Feldspar.Software.Expression
- Feldspar.Software.Frontend
- Feldspar.Software.Marshal
- Feldspar.Software.Optimize
- Feldspar.Software.Primitive
- Feldspar.Software.Primitive.Backend
- Feldspar.Software.Representation
- Feldspar.Software.Verify
- Feldspar.Software.Verify.Command
- Feldspar.Software.Verify.Primitive
- Feldspar.Storable
- Feldspar.Sugar
- Verify
- Feldspar.Verify.Abstract
- Feldspar.Verify.Arithmetic
- Feldspar.Verify.FirstOrder
- Feldspar.Verify.Monad
- Feldspar.Verify.SMT
- Array
Downloads
- co-feldspar-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.1 |
---|---|
Change log | ChangeLog.md |
Dependencies | array (>=0.5), base (>=4 && <5), constraints (>=0.8), containers (>=0.5), data-default-class, exception-transformers, hardware-edsl (>=0.1.6), imperative-edsl (>=0.8.2), language-c-quote, language-vhdl (>=0.1.4), minisat, mtl (>=2.2), operational-alacarte (>=0.3), signals (>=0.2.1), simple-smt, srcloc, syntactic (>=3.8), template-haskell [details] |
License | BSD-3-Clause |
Copyright | Copyright (c) 2015 Markus Aronsson, Emil Axelsson |
Author | Markus |
Maintainer | mararon@chalmers.se |
Category | Language |
Uploaded | by mararon at 2021-06-15T11:05:28Z |
Distributions | |
Downloads | 188 total (6 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2021-06-15 [all 2 reports] |