5 projects
peaknav
Python tools for PeakNav, the 3D mountain viewer: elevation of any coordinate (pure Python), and a client for the off-screen renderer.
rubi-integrate
Rule-based symbolic integration: the Rubi rule set on SymPy/OmniMatch
sympy-wolfram
Wolfram-language semantics on SymPy: deferred nodes, eager evaluators, FFL interpreter and constraints
sympy-matching
SymPy <-> OmniMatch bridge: expression conversion, wildcards, replacement rules and constraints
omnimatch
Pattern matching for symbolic expressions (a heavily re-engineered fork of MatchPy)