The first stable release of the reasoning engine. zelph can be tried in the browser as WebAssembly with nothing leaving the machine, installed from prebuilt binaries on Linux, macOS and Windows, or embedded in a host application through its C ABI, for which a Rust layer is provided.

The whole mathematical stack is written in zelph rules instead of C++, spanning from digit tables to symbolic differentiation, and each example in the documentation was executed against the actual binary.

Documentation and downloads: https://zelph.org