Top 4 Julia symbolic-computation Projects

ModelingToolkit.jl

15 1,333 9.8 Julia

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
SymbolicRegression.jl

3 526 9.7 Julia

Distributed High-Performance Symbolic Regression in Julia

Project mention: Symbolicregression.jl – High-Performance Symbolic Regression in Julia and Python | news.ycombinator.com | 2023-07-15

WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Metatheory.jl

5 332 8.1 Julia

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
MethodOfLines.jl

2 148 9.2 Julia

Automatic Finite Difference PDE solving with Julia SciML

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).