markus-git/refinement markus-git/refinement

  • Stars
    star
    1
  • Language
    TeX
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
markus-git/refinement
github

markus-git

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Refinement in STE

More Repositories

1

co-feldspar

raw-feldspar with software hardware co-design
Haskell
7
star
2

hardware-edsl

VHDL flavour of imperative-edsl
Haskell
5
star
3

signals

Haskell
4
star
4

language-vhdl

Haskell representation of VHDL
Haskell
4
star
5

dataflow-modeling-for-ENM155

Dataflow graph modeling for ENM155
Java
1
star
6

regions

A system of qualified types for inferring regions.
Haskell
1
star
7

feldspar-signal

Signal Processing for Embedded Domain Specific Languages in Haskell
Haskell
1
star