openmath
| Crates.io | openmath |
| lib.rs | openmath |
| version | 0.1.4 |
| created_at | 2025-07-14 13:44:47.48578+00 |
| updated_at | 2025-09-20 07:49:31.365991+00 |
| description | Support for OpenMath (de)serialization |
| homepage | |
| repository | https://github.com/FlexiFormal/OpenMath |
| max_upload_size | |
| id | 1751735 |
| size | 289,330 |
Dennis Müller (Jazzpirate)
documentation
README
A comprehensive Rust library for handling OpenMath objects, providing
-
An [
OpenMath] data structure and -
almost zero-copy (de)serialization for various OpenMath formats, including specification-compliant XML, JSON, and arbitrary other formats via serde.
Serialization & Deserialization
- [
OMSerializable] trait for converting Rust types to OpenMath - [
OMDeserializable] trait for parsing OpenMath into Rust types - (with
serdefeature enabled:) support for serde-based formats (JSON, etc.) following the OpenMath JSON specification (seeopenmath_serdeandOMFromSerde). - specification-conform XML (de)serialization
TODO
- structure sharing via OMR
- binary format
- official errors