symbolic topic

An experimental computer algebra system written in Go

corywalker

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...

SciML

A Symbolic Package for Octave using SymPy

gnu-octave

Use angr in Ghidra

Nalen98

S2E: A platform for multi-path program analysis with selective symbolic execution.

S2E

Use angr in the IDA Pro debugger generating a state from the current debug session

andreafioraldi

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation,...

JuliaSymbolics

Computer Algebra System in Javascript (Typescript)

davidedc

A python package to solve robot arm inverse kinematics in symbolic form

uw-biorobotics

a symbolic math expression evaluator for javascript

jiggzson