#

symbolic-computation

Here are 132 public repositories matching this topic...

Hedgehog-Computing / hedgehog-lab

Star

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.

javascript tex webgl machine-learning latex computer-algebra data-visualization scientific-computing gpu-acceleration webgl2 symbolic-computation matrix-library

Updated Aug 11, 2021
TypeScript

davidedc / Algebrite

Star

Computer Algebra System in Javascript (Coffeescript)

javascript coffeescript algebra computer-algebra cas symbolic symbolic-manipulation symbolic-computation javascript-cas algebraic-computation computer-algebra-system algebraic

Updated May 14, 2021
CoffeeScript

SciML / ModelingToolkit.jl

Sponsor Star

Open

Finish pieces around DiscreteSystem (docs, DiscreteFunction, DiscreteProblemExpr)

ChrisRackauckas commented Apr 30, 2021

The basics of DiscreteSystem exists now, but the little details around it need to be finished.

Read more

good first issue modelingtoolkitize

Open

Symbolic tspan

Open

Implement combine for inheritance of systems

16

Find more good first issues →

ThoughtWorksInc / DeepLearning.scala

Star

A simple library for creating complex neural networks

machine-learning scala deep-neural-networks deep-learning neural-network functional-programming dsl automatic-differentiation domain-specific-language symbolic-computation

Updated Jul 26, 2021
Scala

aesara

aesara-devs / aesara

Star

Open

Improved `UltraFastScalarSigmoid` implementation

brandonwillard commented Aug 8, 2021

By the way I just came across this: https://github.com/NTimmons/FastActivations.jl

They claim they have faster and better approximations than this one...

Also discussed here on the old Theano repo:
Theano/Theano#6731

Originally posted by @ricardoV94 in aesara-devs/aesara#550 (comment)

Read more

enhancement good first issue help wanted new operator

Open

Move `Subtensor` rewrites from `basic_opt` into `subtensor_opt`

Open

Entries for many `tensor.math` methods are missing from the docs

Find more good first issues →

Macaulay2 / M2

Star

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

modules mathematics polynomials interpreted-programming-language algebraic-geometry symbolic-computation rings groebner-basis polynomial-systems polynomial-arithmetic resolutions projective-geometry homological-algebra commutative-algebra

Updated Aug 18, 2021
Macaulay2

dharmatech / Symbolism

Star

Computer Algebra and Symbolic Computation in C#

c-sharp computer-algebra symbolic-computation

Updated Oct 23, 2019
C#

chakravala / Reduce.jl

Sponsor Star

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

algebra math computer-algebra julia parser-generator repl metaprogramming syntax-tree reduce symbolic-computation term-rewriting

Updated Jun 16, 2021
Julia

fricas / fricas

Star

Official repository of the FriCAS computer algebra system

math computer-algebra mathematics symbolic-manipulation symbolic-computation computer-algebra-system symbolic-integration risch-algorithm

Updated Aug 8, 2021
Clojure

0x0f0f0f / Metatheory.jl

Sponsor Star

General purpose metaprogramming and algebraic computation library for the Julia programming language

programming-language optimization julia cas symbolic symbolic-computation algebraic compiler-optimization compiler-construction metatheory

Updated Aug 13, 2021
Julia

MilesCranmer / SymbolicRegression.jl

Star

Distributed High-Performance symbolic regression in Julia

machine-learning julia symbolic-regression symbolic-computation automl sciml

Updated Aug 4, 2021
Julia

DeepMLNet / DeepNet

Star

Deep.Net machine learning framework for F#

machine-learning deep-learning fsharp dotnet gpu cuda gpu-acceleration ndarray tensor gpu-computing differentiation symbolic-computation symbolic-execution-engine

Updated Jun 25, 2019
F#

yacas

grzegorzmazur / yacas

Star

Computer calculations made easy

cas symbolic-computation computer-algebra-system

Updated Jul 21, 2021
JavaScript

inducer / pymbolic

Star

A simple package to do symbolic math (focus on code gen and DSLs)

python computer-algebra code-generation symbolic-computation expression-tree term-rewriting

Updated Jul 12, 2021
Python

sneeuwballen / zipperposition

Star

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.

prototype experimental ocaml computer-science-algorithms logic polymorphism cnf superposition saturation induction symbolic-computation prover rewriting

Updated Aug 17, 2021
OCaml

hylang / hydiomatic

Star

The Hy Transformer

python static-code-analysis minikanren logic-programming hy symbolic-computation

Updated May 7, 2019
Hy

HarrisonGrodin / Rewrite.jl

Star

An efficient symbolic term rewriting engine

algebra julia symbolic symbolic-computation julialang symbolic-math rewriting

Updated Dec 23, 2020
Julia

arabiaweather / athena

Star

Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.

machine-learning tensorflow optimization symbolic-regression curve-fitting simulation-framework research-tool symbolic-computation equation-solver academia interpretability

Updated Apr 14, 2018
Jupyter Notebook

pymc-devs / symbolic-pymc

Star

Open

Implement math operators for meta tensors

1

brandonwillard commented Jul 24, 2019

As a convenience, we should provide meta tensor implementations of the following:
__add__, __radd__, __sub__, __rsub__, __mul__, __rmul__, __div__, __rdiv__, __truediv__, __rtruediv__, __floordiv__, __rfloordiv__, __mod__, __rmod__, __lt__, __le__, __gt__, __ge__, __and__, __rand__, __or__, __ror__, __xor__, __rxor__, __getitem__, __pow__, `__rp

Read more

enhancement good first issue

mathiu.cpp

BowenFu / mathiu.cpp

Star

mathiu : a simple computer algebra system in C++.

cpp cpp17 symbolic-computation computer-algebra-system symbolic-expressions symbolic-math cpp17-library

Updated Jul 20, 2021
C++

ictxiangxin / paradox

Star

Deep-Learning framework from scratch

machine-learning deep-learning autograd symbolic-computation from-scratch

Updated Oct 13, 2018
Python

pythological / kanren

Star

An extensible, lightweight relational/logic programming DSL written in pure Python

minikanren logic-programming sat-solver symbolic-computation clp relational-programming constraint-logic-programming

Updated May 14, 2021
Python

Quantum-Many-Body / QuantumLattices.jl

Star

Julia package for the construction of quantum lattice systems.

symbolic-computation hamiltonian condensed-matter-physics quantum-many-body quantum-lattice-systems second-quantized-operator

Updated Aug 2, 2021
Julia

tirthajyoti / Synthetic-data-gen

Star

Various methods for generating synthetic data for data science and ML

python data-science data machine-learning time-series regression classification symbolic-computation

Updated Aug 15, 2021
Jupyter Notebook

arguiot / Euler

Star

The open-source computational framework for the Swift language

swift statistics euler algebra math xcode cocoapods mathematics bignumber symbolic-computation

Updated Jun 13, 2021
Swift

McMasterU / HashedExpression

Star

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

machine-learning haskell optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b

Updated Jul 24, 2021
Haskell

ahmedmalaa / Symbolic-Metamodeling

Star

Codebase for "Demystifying Black-box Models with Symbolic Metamodels", NeurIPS 2019.

symbolic-regression symbolic-computation interpretability metamodeling explanability hypergeometric-function

Updated Oct 26, 2019
Jupyter Notebook

BartJongejan / Bracmat

Star

Programming language for symbolic computation with extraordinary combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

html programming-language json natural-language-processing computer-algebra xml pattern-matching gcc rosettacode tree-structure structured-data language-technology expression-evaluator differentiation symbolic-computation bignumbers semi-structured-data epoc unstructured-data high-level-language

Updated Aug 6, 2021
C

egladysh / metamath

Star

Meta mathematics. Symbolic functions and derivatives.

math dsl derivative symbolic-computation symbolic-differentiation metamath

Updated May 3, 2018
C++

eguidotti / calculus

Star

High Dimensional Numerical and Symbolic Calculus in R

r calculus curl coordinate-systems gradient finite-difference r-package taylor jacobian hessian symbolic-computation einstein laplacian symbolic-differentiation divergence numerical-differentiation numerical-derivation hermite numerical-derivatives

Updated May 26, 2021
R

Improve this page

Add a description, image, and links to the symbolic-computation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic-computation topic, visit your repo's landing page and select "manage topics."