idris-chez:An idris backend compiling to chez scheme
chezgo:Chez Scheme is a mature, high performance, light-weight, compiler construction toolkit and native code generation engine (aka Just-in-time compiler), developed by R. Kent Dybvig and Cadence Research Systems, and open sourced by Cisco in 2016. Here Chez Scheme is embedded using CGO in golang as a proof of concept.