37 results found Sort:
- Filter by Primary Language:
- Julia (9)
- Python (7)
- C++ (3)
- Jupyter Notebook (3)
- TypeScript (3)
- C (1)
- Macaulay2 (1)
- OCaml (1)
- R (1)
- Scala (1)
- Swift (1)
- Lean (1)
- C# (1)
- F# (1)
- Haskell (1)
- JavaScript (1)
- +
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 y...
Created
2020-05-13
551 commits to dev branch, last one 3 months ago
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 ...
dae
dde
ode
pde
sde
julia
sciml
acausal
symbolic
optimization
equation-based
computer-algebra
symbolic-numerics
symbolic-computation
nonlinear-programming
differential-equations
scientific-machine-learning
delay-differential-equations
ordinary-differential-equations
stochastic-differential-equations
Created
2018-02-27
5,605 commits to master branch, last one a day ago
Fast symbolic computation, code generation, and nonlinear optimization for robotics
Created
2022-01-05
992 commits to main branch, last one about a month ago
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
Created
2019-11-12
30,109 commits to main branch, last one 4 months ago
Computer Algebra System in Javascript (Typescript)
Created
2016-03-23
943 commits to master branch, last one 2 years ago
A simple library for creating complex neural networks
Created
2016-11-21
1,893 commits to 3.0.x branch, last one 4 years ago
Distributed High-Performance Symbolic Regression in Julia
Created
2021-01-14
2,575 commits to master branch, last one 13 days ago
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...
Created
2021-01-12
672 commits to master branch, last one about a month ago
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
Created
2019-10-31
885 commits to main branch, last one 12 hours ago
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Created
2012-12-20
25,512 commits to master branch, last one about a month ago
Official repository of the FriCAS computer algebra system
Created
2014-05-07
3,116 commits to master branch, last one 10 hours ago
Scientific computing in Lean 4
Created
2021-09-27
1,599 commits to master branch, last one a day ago
Symbolic parser for Julia language term rewriting using REDUCE algebra
Created
2017-05-05
209 commits to master branch, last one 2 months ago
An extensible, lightweight relational/logic programming DSL written in pure Python
Created
2019-03-20
513 commits to main branch, last one about a year ago
Automatic Finite Difference PDE solving with Julia SciML
Created
2021-12-13
1,141 commits to master branch, last one 18 days ago
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, claus...
Created
2012-08-15
6,728 commits to master branch, last one 4 months ago
Computer calculations made easy
Created
2015-07-26
4,094 commits to master branch, last one 3 months ago
Julia package for the construction of quantum lattice systems.
Created
2018-09-19
491 commits to master branch, last one a day ago
A simple package to do symbolic math (focus on code gen and DSLs)
Created
2011-07-08
972 commits to main branch, last one 3 days ago
Deep.Net machine learning framework for F#
Created
2016-05-23
1,375 commits to master branch, last one 6 years ago
Ridiculously fast symbolic expressions
Created
2022-10-16
2,381 commits to master branch, last one 4 days ago
Library for Polynomial System Solving through Algebraic Methods
Created
2022-06-23
1,992 commits to master branch, last one 16 hours ago
mathiu : a simple computer algebra system in C++.
Created
2021-06-27
86 commits to main branch, last one 2 years ago
Various methods for generating synthetic data for data science and ML
Created
2019-06-30
29 commits to master branch, last one 2 years ago
Automatic equation building and curve fitting. Runs on Tensorflow. Built for academia and research.
Created
2017-05-30
17 commits to master branch, last one 6 years ago
Tools for an Aesara-based PPL.
Created
2021-05-26
253 commits to main branch, last one about a year ago
Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
Created
2019-02-16
251 commits to master branch, last one 3 years ago
Symbolica's open-source symbolic execution engine.
Created
2021-05-19
188 commits to master branch, last one 2 years ago
Groebner bases in (almost) pure Julia
Created
2021-10-30
861 commits to master branch, last one 2 months ago
Curso de Ciência da Computação
Created
2021-03-01
309 commits to master branch, last one 11 days ago