Looking for testers and testwriters, especially for recent versions since the internet connection here (not so central Kenya) does not allow frequent updates.
Pkg.clone("git://github.com/jhlq/Equations.jl.git") WIP: * A generic matches(ex::Expression,pattern::Expression) so instead of applying matchers functions to a equation one applies a web of equations. * Contracting multiple terms into Pow(a,b). * More derivative rules. * Int (∫) type. * Extensive testing.