1. Symbolic algebra, calculus, linear algebra, statistics solver ✖
2. Math notes style UI with charts ✖
3. HTML/CSS LaTex editor ✔
4. antlr grammar based parser generator and evaluator for asciimath and LaTex ✔
5. Create symengine-rs Rust bindings for C++ symengine ✔
6. Create giac-rs Rust bindings for C++ giac ✔
7. llama.cpp based gguf model inference (math specialized models) ✔
8. AI based OCR image to math LaTex generator for handwriting recognition ✖
The project uses a GIAC FFI which is not fully thread-safe. For deterministic test runs, when tests exercise the GIAC FFI, run the test suite single-threaded.
MACOSX_DEPLOYMENT_TARGET=15.5 cargo build
MACOSX_DEPLOYMENT_TARGET=15.5 cargo test
cargo test -- --test-threads=1
RUST_TEST_THREADS=1 cargo test --workspace