Packages doing symbolic math: * [Symbolics.jl](https://github.com/JuliaSymbolics/Symbolics.jl) * [SymbolicUtils.jl](https://github.com/JuliaSymbolics/SymbolicUtils.jl) * [ModelingToolkit.jl](https://github.com/SciML/ModelingToolkit.jl) * [AbstractAlgebra.jl)](https://github.com/Nemocas/AbstractAlgebra.jl) * [Nemo.jl](https://github.com/Nemocas/Nemo.jl) CAS * [Hecke.jl](https://github.com/thofma/Hecke.jl) * [Singular.jl](https://github.com/oscar-system/Singular.jl) * [Oscar.jl](https://github.com/oscar-system/Oscar.jl) CAS * [Catlab.jl](https://github.com/AlgebraicJulia/Catlab.jl) Organizations: * https://github.com/JuliaSymbolics * https://github.com/Nemocas * https://github.com/oscar-system * https://github.com/AlgebraicJulia