There are 2 repositories under symbolic-differentiation topic.
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Symbolic multivariate differentiation of arbitrary order and adaptive optimization.
Symbolic Differentiation with Elm
A Symbolic Differentiator
Lagrangian mechanics implemented 3 ways: manually, with auto-diff, and symbolically.
Backend-agnostic differentiation with symbolic pass-through in Julia.
command line tool that generates ppm images to visualize dynamic system functions
Jade is a symbolic derivative calculator written in Haskell.
Символьные вычисления
Ada Package and C++ Source Templates with examples.
An implementation of a Symbolic Differentatior in Racket.
A library for differentiating tacit BQN expressions.
Symbolic differentiation & propagation of error
An implementation of a Symbolic Differentiator in Racket.
Basic Symbolic Differentiation in Scheme