Run, compile and execute JavaScript for Scientific Computing and Data Vi...
An acausal modeling framework for automatically parallelized scientific ...
Aesara is a Python library for defining, optimizing, and efficiently eva...
Computer Algebra System in Javascript (Typescript)
A simple library for creating complex neural networks
General purpose algebraic metaprogramming and symbolic computation libra...
The primary source code repository for Macaulay2, a system for computing...
An engine for symbolic manipulation and numeric evaluation of math formu...
Symbolic parser for Julia language term rewriting using REDUCE algebra
Computer Algebra and Symbolic Computation in C#
An extensible, lightweight relational/logic programming DSL written in p...
An automatic theorem prover in OCaml for typed higher-order logic with e...
Computer calculations made easy
Julia package for the construction of quantum lattice systems.
A simple package to do symbolic math (focus on code gen and DSLs)