high-level: racket with python libraries. unfortunately, neither python implementation in racket (incomplete py2) nor hy (quirky. bad documentation and worse error messages) do the job.
low-level: 'boring C' (that is, a C implementation which defines all undefined behavior in a deterministic way) with an idiomatic (so no unstandarized macros or compiler extensions) way to write machine-specific code and inline assembly.