A fast and modern CAS for a fast and modern language.

Expression rewriting and simplification

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

Julia wrappers of SymEngine

Language for symbolic mathematics

An abstract interface for automatic differentiation.

SymbolicNumericIntegration.jl: Symbolic-Numerics for Solving Integrals

A latex math mode engine in pure Julia.

Symbolic Computations in Julia using Maxima

GAP packages for Julia integration

Julia implementations of symbolic integration algorithms