co-feldspar: Hardware software co-design Feldspar

[ bsd3, language, library ] [ Propose Tags ]

An implementation of the Feldspar EDSL with a focus on hardware software co-design and resource-awareness.

Versions [RSS] [faq] 0.1.0.1
Change log ChangeLog.md
Dependencies array (>=0.5), base (==4.*), 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 NixOS:0.1.0.1
Downloads 42 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2021-06-15 [all 2 reports]

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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates