mathcompile 0.1.2

High-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

[package]
name = "mathcompile"
version = "0.1.2"
edition = "2024"
description = "High-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation"
license = "Apache-2.0"
repository = "https://github.com/chad-measures/measures"
keywords = ["symbolic", "mathematics", "rust-codegen", "final-tagless", "optimization"]
categories = ["mathematics", "science", "compilers"]

[dependencies]
# Core numeric traits for generic operations
num-traits = "0.2"

# Error handling
thiserror = "2.0.12"

# JIT compilation with Cranelift (optional)
cranelift = { version = "0.120.0", optional = true }
cranelift-jit = { version = "0.120.0", optional = true }
cranelift-module = { version = "0.120.0", optional = true }
cranelift-codegen = { version = "0.120.0", optional = true }
cranelift-frontend = { version = "0.120.0", optional = true }
target-lexicon = { version = "0.13.2", optional = true }

# Serialization support
serde = { version = "1.0", features = ["derive"], optional = true }

# Symbolic optimization with egglog
egglog = { version = "0.4", optional = true }

# Dynamic library loading for Rust codegen backend
libloading = "0.8"

# For performance comparisons
ad_trait = { version = "0.1", optional = true }
ordered-float = "5.0.0"

[features]
default = ["optimization"]
optimization = ["dep:egglog"]
cranelift = ["dep:cranelift", "dep:cranelift-jit", "dep:cranelift-module", "dep:cranelift-codegen", "dep:cranelift-frontend", "dep:target-lexicon"]
ad_trait = ["dep:ad_trait"]
all = ["optimization", "cranelift", "ad_trait"]

# Legacy feature aliases for backward compatibility
symbolic = ["optimization"]
jit = ["cranelift"]

[dev-dependencies]
criterion = { version = "0.6.0", features = ["html_reports"] }
divan = "0.1"
proptest = "1.5"

[[bench]]
name = "expression_optimization"
harness = false

[[bench]]
name = "simple_optimization"
harness = false

[[bench]]
name = "cranelift_vs_rust"
harness = false