dillonhuff

followers

following

stars

dillonhuff's repositories

ahaHLS

An open source high level synthesis (HLS) tool built on top of LLVM

Language:C++MIT113 17 5

gpr

A simple C++ G-code parser

Language:G-codeMIT8300

clockwork

A polyhedral compiler for hardware accelerators

Language:C++53 9 71

TinyCPU

Educational Verilog CPU Implementations of a Tiny Instruction Set

Language:Verilog9 3 1

bsim

Language:C++8 3 3

dpgen

Language:PythonUnlicense1 20

Halide-HLS

For the Aetherling PLDI paper

Language:C++NOASSERTION100

pwmatrix

Language:Python1 20

units_library_talk

FlashG About Units of Measurement

Language:Python100

aws-fpga

Official repository of the AWS EC2 FPGA Hardware and Software Development Kit

Language:VHDLNOASSERTION010

blarney

Hardware description in Haskell

Language:HaskellNOASSERTION010

BufferMapping

Language:C++000

CAC

Experiment with imperative connections

Language:C++000

coreir

Language:C++020

counter-experiment

Language:C++000

cs343d.github.io

Website for CS343D at Stanford

Language:HTML000

embeddedHaskellAetherling

BSD-3-Clause000

envelope

An assistant for back-of-the-envelope calculations

Language:HTML020

fpga-test

Language:PureBasic020

Halide-to-Hardware

Language:C++NOASSERTION000

ilp-encoder-experiment

Language:Python000

img_test

Language:Python020

LP-cpp

Language:C++020

magma_hls

From the magmathon

Language:Python020

minihls

Language:C++020

numpy-power

Language:Python020

soda-compiler

Stencil with Optimized Dataflow Architecture Compiler

Language:PythonMIT000

VimSetup

Language:Vim Script020

vivado_designs

Language:Verilog000

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Language:OCamlBSD-2-Clause000