Mathly for Lua is a Lua module that turns Lua into a tiny, portable, free but powerful MATLAB and more. It provides a group of commonly used MATLAB functions and features, including linspace, zeros, ...
The GNU C compiler is excellent with reasoning about Boolean values. It may be too clever. Like Microsoft Clippy-level clever ...