dillonhuff

Pinned Repositories

ahaHLS
An open source high level synthesis (HLS) tool built on top of LLVM
Language:C++115 17 518
bsim
Language:C++8 3 31
clockwork
A polyhedral compiler for hardware accelerators
Language:C++55 9 7111
Folly
First order logic in Haskell
Language:Haskell9 3 33
gca
A process planner for 3-axis CNC mills
Language:C++74
gpr
A simple C++ G-code parser
Language:G-code85 7 736
scg
3D Computational Geometry in C++11
Language:C++19 3 14
stl_parser
A simple parser for binary .stl files
Language:C++49 4 013
TinyCPU
Educational Verilog CPU Implementations of a Tiny Instruction Set
Language:Verilog11 3 12
VerilogToCoreIR
Experimenting with yosys verilog frontend to coreir
Language:Verilog72

dillonhuff's Repositories

dillonhuff/ahaHLS
An open source high level synthesis (HLS) tool built on top of LLVM
Language:C++115 17 518
dillonhuff/gpr
A simple C++ G-code parser
Language:G-code85 7 736
dillonhuff/clockwork
A polyhedral compiler for hardware accelerators
Language:C++55 9 7111
dillonhuff/TinyCPU
Educational Verilog CPU Implementations of a Tiny Instruction Set
Language:Verilog11 3 12
dillonhuff/bsim
Language:C++8 3 31
dillonhuff/dpgen
Language:Python1 2 0
dillonhuff/Halide-HLS
For the Aetherling PLDI paper
Language:C++11
dillonhuff/pwmatrix
Language:Python1 2 0
dillonhuff/units_library_talk
FlashG About Units of Measurement
Language:Python1 2 0
dillonhuff/aws-fpga
Official repository of the AWS EC2 FPGA Hardware and Software Development Kit
Language:VHDL1 0
dillonhuff/blarney
Hardware description in Haskell
Language:Haskell1 0
dillonhuff/BufferMapping
Language:C++
dillonhuff/CAC
Experiment with imperative connections
Language:C++
dillonhuff/coreir
Language:C++2 0
dillonhuff/counter-experiment
Language:C++
dillonhuff/cs343d.github.io
Website for CS343D at Stanford
Language:HTML
dillonhuff/embeddedHaskellAetherling
Language:Haskell1 0
dillonhuff/envelope
An assistant for back-of-the-envelope calculations
Language:HTML2 0
dillonhuff/fpga-test
Language:PureBasic2 0
dillonhuff/Halide-to-Hardware
Language:C++1
dillonhuff/ilp-encoder-experiment
Language:Python
dillonhuff/img_test
Language:Python2 0
dillonhuff/LP-cpp
Language:C++2 0
dillonhuff/magma_hls
From the magmathon
Language:Python2 0
dillonhuff/minihls
Language:C++2 0
dillonhuff/numpy-power
Language:Python2 0
dillonhuff/soda-compiler
Stencil with Optimized Dataflow Architecture Compiler
Language:Python1
dillonhuff/VimSetup
Language:Vim script2 0
dillonhuff/vivado_designs
Language:Verilog
dillonhuff/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:OCaml