markus-git

markus-git's Stars

• markus-git/refinement

  Refinement in STE

  Language:TeX1

• markus-git/regions

  A system of qualified types for inferring regions.

  Language:Haskell1

• emilaxelsson/lambda-edsl

  EDSLs based on lambda calculus

  Language:Haskell1

• milkypostman/powerline

  emacs powerline

  Language:Emacs Lisp791118

• radfordneal/LDPC-codes

  Software for Low Density Parity Check codes

  Language:C26793

• emilaxelsson/operational-alacarte

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

  Language:Haskell5

• Architech-Silica/Designing-a-Custom-AXI-Slave-Peripheral

  A guide to creating custom AXI-lite slave peripherals using the Xilinx Vivado tools

  Language:VHDL3918

• andygill/lambda-bridge

  A bridge from Haskell (on a CPU) to VHDL on a FPGA.

  Language:Haskell51

• Feldspar/raw-feldspar

  Resource-AWare Feldspar

  Language:Haskell365

• markus-git/hardware-edsl

  VHDL flavour of imperative-edsl

  Language:Haskell51

• markus-git/signals

  Language:Haskell4

• atzeus/observable-sharing

  Observable sharing for haskell

  Language:Haskell3

• emilaxelsson/imperative-edsl

  Deep embedding of imperative programs with code generation

  Language:Haskell239

• windelicato/dotfiles

  arch linux configuration files

  Language:Shell1.2k62

• jyp/boon

  Ergonomic Command Mode for Emacs

  Language:Emacs Lisp33335