Pinned Repositories
applicative-alacarte
An applicative version of Operational suitable for EDSLs extensible via data types à la carte
chalmers-thesis
co-feldspar
raw-feldspar with software hardware co-design
dataflow-modeling-for-ENM155
Dataflow graph modeling for ENM155
feldspar-signal
Signal Processing for Embedded Domain Specific Languages in Haskell
hardware-edsl
VHDL flavour of imperative-edsl
language-vhdl
Haskell representation of VHDL
refinement
Refinement in STE
regions
A system of qualified types for inferring regions.
signals
markus-git's Repositories
markus-git/co-feldspar
raw-feldspar with software hardware co-design
markus-git/hardware-edsl
VHDL flavour of imperative-edsl
markus-git/language-vhdl
Haskell representation of VHDL
markus-git/signals
markus-git/dataflow-modeling-for-ENM155
Dataflow graph modeling for ENM155
markus-git/feldspar-signal
Signal Processing for Embedded Domain Specific Languages in Haskell
markus-git/refinement
Refinement in STE
markus-git/regions
A system of qualified types for inferring regions.
markus-git/applicative-alacarte
An applicative version of Operational suitable for EDSLs extensible via data types à la carte
markus-git/chalmers-thesis
markus-git/M65C02A
Enhanced 6502/65C02 Microprogrammed Verilog Processor Core
markus-git/PBKDF2
Model of PBKDF2 in Haskell
markus-git/syntactic
Generic representation and manipulation of abstract syntax
markus-git/zeldspar
Ziria + Feldspar = sant