IEEE

An overview of a compiler for mapping MATLAB programs onto FPGAs

Abstract: This paper describes a behavioral synthesis tool called the MATCH compiler developed as part of the DARPA Adaptive Computing Systems program. The MATCH compiler reads in high-level ...
GitHub

GopherLua: VM and compiler for Lua in Go.

GopherLua is a Lua5.1(+ goto statement in Lua5.2) VM and compiler written in Go. GopherLua has a same goal with Lua: Be a scripting language with extensible semantics. It provides Go APIs that allow ...
IEEE

Overview of a compiler for synthesizing MATLAB programs onto FPGAs

Abstract: This paper describes a behavioral synthesis tool called AccelFPGA which reads in high-level descriptions of digital signal processing (DSP) applications written in MATLAB, and automatically ...
GitHub

The formally-verified C compiler.

The CompCert C verified compiler is a compiler for a large subset of the C programming language that generates code for the PowerPC, ARM, x86 and RISC-V processors. The distinguishing feature of ...