High-Level Synthesis with Partial Evaluation - View it on GitHub