Giters
Markus Aronsson (markus-git)

markus-git

Geek Repo

8

followers

1

following

15

stars

Company:Chalmers

Location:Göteborg

Github PK Tool:Github PK Tool

Markus Aronsson's repositories

refinement

Refinement in STE

Language:TeXStargazers:1Issues:0Issues:0

regions

A system of qualified types for inferring regions.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

co-feldspar

raw-feldspar with software hardware co-design

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

signals

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:0Issues:0

hardware-edsl

VHDL flavour of imperative-edsl

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

language-vhdl

Haskell representation of VHDL

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:0Issues:0

M65C02A

Enhanced 6502/65C02 Microprogrammed Verilog Processor Core

Stargazers:0Issues:0Issues:0

syntactic

Generic representation and manipulation of abstract syntax

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

applicative-alacarte

An applicative version of Operational suitable for EDSLs extensible via data types à la carte

License:MITStargazers:0Issues:0Issues:0

chalmers-thesis

Language:PostScriptStargazers:0Issues:0Issues:0

zeldspar

Ziria + Feldspar = sant

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

PBKDF2

Model of PBKDF2 in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

dataflow-modeling-for-ENM155

Dataflow graph modeling for ENM155

Language:JavaLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

feldspar-signal

Signal Processing for Embedded Domain Specific Languages in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0