Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for symbolic computation
symbolic-computation
x
85 search results found
Hedgehog Lab
⭐
2,357
Run, compile and execute JavaScript for Scientific Computing and Data Visualization TOTALLY TOTALLY TOTALLY in your BROWSER! An open source scientific computing environment for JavaScript TOTALLY in your browser, matrix operations with GPU acceleration, TeX support, data visualization and symbolic computation.
Modelingtoolkit.jl
⭐
1,292
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
Symforce
⭐
1,282
Fast symbolic computation, code generation, and nonlinear optimization for robotics
Aesara
⭐
1,122
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
Algebrite
⭐
850
Computer Algebra System in Javascript (Typescript)
Deeplearning.scala
⭐
759
A simple library for creating complex neural networks
Symbolicregression.jl
⭐
484
Distributed High-Performance Symbolic Regression in Julia
Metatheory.jl
⭐
321
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Mathnet Symbolics
⭐
321
Math.NET Symbolics
Expresso
⭐
309
Clojure library for symbolic computation
M2
⭐
303
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Compute Engine
⭐
300
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
Fricas
⭐
267
Official repository of the FriCAS computer algebra system
Symqemu
⭐
267
SymQEMU: Compilation-based symbolic execution for binaries
Reduce.jl
⭐
202
Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter
Scilean
⭐
179
Scientific computing in Lean 4
Symbolism
⭐
172
Computer Algebra and Symbolic Computation in C#
Methodoflines.jl
⭐
144
Automatic Finite Difference PDE solving with Julia SciML
Zipperposition
⭐
118
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Kanren
⭐
115
An extensible, lightweight relational/logic programming DSL written in pure Python
Yacas
⭐
111
Computer calculations made easy
Pymbolic
⭐
101
A simple package to do symbolic math (focus on code gen and DSLs)
Quantumlattices.jl
⭐
94
Julia package for the construction of quantum lattice systems.
Deepnet
⭐
84
Deep.Net machine learning framework for F#
Hydiomatic
⭐
79
The Hy Transformer
Dynamicexpressions.jl
⭐
75
Ridiculously fast symbolic expressions
Msolve
⭐
71
Library for Polynomial System Solving through Algebraic Methods
Cc33z
⭐
57
Curso de Ciência da Computação
Mpl
⭐
57
Computer Algebra and Symbolic Computation for R6RS Scheme
Aeppl
⭐
56
Tools for an Aesara-based PPL.
Rewrite.jl
⭐
54
An efficient symbolic term rewriting engine
Groebner.jl
⭐
53
Groebner bases in (almost) pure Julia
Symbolica
⭐
50
Symbolica's open-source symbolic execution engine.
Athena
⭐
48
Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.
Mathiu.cpp
⭐
47
mathiu : a simple computer algebra system in C++.
Bracmat
⭐
46
Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
Euler
⭐
45
The open-source computational framework for the Swift language
Zhetapi
⭐
45
A C++ ML and numerical analysis API, with an accompanying scripting language.
Symboliccontrolsystems.jl
⭐
43
C-code generation and an interface between ControlSystems.jl and SymPy.jl
Paradox
⭐
42
Deep-Learning framework from scratch
Hashedexpression
⭐
41
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Calculus
⭐
41
High Dimensional Numerical and Symbolic Calculus in R
Symbolic Pymc
⭐
40
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Synthetic Data Gen
⭐
39
Various methods for generating synthetic data for data science and ML
Aemcmc
⭐
37
AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.
Neurasp
⭐
32
Aehmc
⭐
31
An HMC/NUTS implementation in Aesara
Expresso Tutorial
⭐
30
Tutorial and demo project for the clojure expresso library
Symbolictensors.jl
⭐
29
Manipulate tensors symbolically in Julia! Currently needs a SymPy dependency, but work is ongoing to change the backend to SymbolicUtils.jl
Reduce Algebra
⭐
28
reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.
Metamath
⭐
26
Meta mathematics. Symbolic functions and derivatives.
Parameterestimation.jl
⭐
24
ParameterEstimation.jl is a Julia package for estimating parameters and initial conditions of ODE models given measurement data.
Symengine.r
⭐
24
A R interface to the symbolic manipulation library SymEngine.
Pynac
⭐
24
Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:
Qiskit Symb
⭐
19
Python package for symbolic quantum computation in Qiskit
Cadabra Tutorial
⭐
18
This a tutorial on Cadabra (a program for symbolic computation on tensors). The examples are set in the context of General Relativity.
Picat
⭐
17
My unofficial picat http://picat-lang.org/ repository
Abacus
⭐
17
Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python
Marty Public
⭐
16
Calculation of tree-level and one-loop Feynman diagrams Beyond the Standard Model
Kelvin
⭐
16
A powerful language for symbolic computation written in Swift.
Numerical Analysis
⭐
15
This repository contains homework solution of the Numerical analysis lesson at Shahid Beheshti University.
Symple
⭐
12
Polycalc
⭐
12
PolyCalc: Polynomial Calculator
Maxima Interface
⭐
12
Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface
Geometricalgebrafulcrumlib
⭐
11
A Unified Generic C# library for Geometric Algebra computations using any kind of scalars (floating point, symbolic, etc.)
Msolve
⭐
10
Polynomial System Solver
Numpp
⭐
10
Research library for compile time optimization
Symbolicindexinginterface.jl
⭐
8
A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
Gmac
⭐
8
GMac, short for “Geometric Macro“, is a sophisticated .NET based code generation software system that allows implementing geometric models and algorithms based on Geometric Algebra (GA) in arbitrary target programming languages. You can download the full GMac source code at: https://github.com/ga-explorer/GMac and you can read the full GMac user guides at: https://gmac-guides.netlify.com
Lisp Dojo
⭐
8
Common Lisp Training Hall on The Shell.
Optibot
⭐
8
Collocation methods for trajectory optimization for second or higher order systems.
Gitsp
⭐
7
Solutions to Gentle Introduction to Symbolic Computation by David S. Touretzky
Computer_algebra_system
⭐
7
My A-Level computer science project, an computer algebra system built with Dart.
Julia Course
⭐
7
Mathslib
⭐
7
A C++ computer algebra (symbolic computation) library.
Symboscript
⭐
6
Limitless programming language
Py Cgraph
⭐
6
🍊 Intro to symbolic computation in Python including applications to function optimization, physics simulation and more. Includes notebooks on back-propagation, auto-diff and more.
Expression
⭐
6
A library to parse expressions, solve and simplify systems of linear equations, find eigenvalues and eigenvectors
Ev3
⭐
6
C++ library to compute symbolic derivatives
Girafe
⭐
5
Term Rewriting Systems infrastructure
Sympp
⭐
5
SymPP: A Symbolic Library that compiles itself
Regions
⭐
5
Is it possible to extend region inference to System F?
Qbee
⭐
5
Quadratization of differential equations
Jetson Symbolics Neuromorphics
⭐
5
Integrating Symbolic Programming and Neuromorphic Modeling with NVIDIA Jetson and GPU-based DNN/ML Systems for Edge Labs
Sym.jl
⭐
5
My Own Symbolic Engine
1-85 of 85 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.