high-level-synthesis topic
PandA-bambu
PandA-bambu public repository
xls
XLS: Accelerated HW Synthesis
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
polyphony
Polyphony is Python based High-Level Synthesis compiler.
dahlia
Time-sensitive affine types for predictable hardware generation
hlsclt
A Vivado HLS Command Line Helper Tool
soap
:dart: soap - Structural Optimisation of Arithmetic Programs
BlackScholes_MonteCarlo
Monte Carlo Methods applied to the Black-Scholes financial market model
FinancialModels_AmazonF1
apfp
FPGA acceleration of arbitrary precision floating point computations.