symbolic-pymcTools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Stars: ✭ 58 (+0%)
Mutual labels: symbolic-computation, symbolic-math
KelvinA powerful language for symbolic computation written in Swift.
Stars: ✭ 23 (-60.34%)
Mutual labels: symbolic-computation, computer-algebra-system
SymbolicTensors.jlManipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl
Stars: ✭ 26 (-55.17%)
Mutual labels: symbolic-computation, symbolic-math
Symbolics.jlA symbolic math library written in Julia modelled off scmutils
Stars: ✭ 98 (+68.97%)
Mutual labels: computer-algebra-system, symbolic-math
stlkrnC++ STL in the Windows Kernel with C++ Exception Support
Stars: ✭ 216 (+272.41%)
Mutual labels: cpp17-library
CC33ZCurso de Ciência da Computação
Stars: ✭ 50 (-13.79%)
Mutual labels: symbolic-computation
Metatheory.jlGeneral purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Stars: ✭ 266 (+358.62%)
Mutual labels: symbolic-computation
aepplTools for an Aesara-based PPL.
Stars: ✭ 46 (-20.69%)
Mutual labels: symbolic-computation
mathics-coreAn open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.
Stars: ✭ 83 (+43.1%)
Mutual labels: computer-algebra-system
obakeA C++20 library for the symbolic manipulation of sparse polynomials & co.
Stars: ✭ 16 (-72.41%)
Mutual labels: computer-algebra-system
samp-ptlSA:MP Plugin Template Library (C++17)
Stars: ✭ 16 (-72.41%)
Mutual labels: cpp17-library
cppcombinatorparser combinator and AST generator in c++17
Stars: ✭ 20 (-65.52%)
Mutual labels: cpp17-library
eqnetCode related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
Stars: ✭ 34 (-41.38%)
Mutual labels: symbolic-expressions
BracmatProgramming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
Stars: ✭ 42 (-27.59%)
Mutual labels: symbolic-computation
EulerThe open-source computational framework for the Swift language
Stars: ✭ 37 (-36.21%)
Mutual labels: symbolic-computation
java-algebra-systemAn extensible, intuitive and easy to use algebra system that is capable of algebraic manipulation, simplification, differentiation, and much more. Reverse engineered from TI-nspire CAS.
Stars: ✭ 36 (-37.93%)
Mutual labels: computer-algebra-system
fixed stringC++17 string with fixed size
Stars: ✭ 64 (+10.34%)
Mutual labels: cpp17-library
neuralMathCombining Symbolic and Function Evaluation Expressions In Neural Programs
Stars: ✭ 29 (-50%)
Mutual labels: symbolic-math
SymbolicControlSystems.jlAn interface between ControlSystems.jl and SymPy.jl
Stars: ✭ 20 (-65.52%)
Mutual labels: symbolic-computation
HashedExpressionType-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Stars: ✭ 40 (-31.03%)
Mutual labels: symbolic-computation