41 results found Sort:
- Filter by Primary Language:
- Julia (9)
- Python (9)
- C++ (3)
- Jupyter Notebook (3)
- TypeScript (3)
- C (1)
- Macaulay2 (1)
- OCaml (1)
- R (1)
- Rust (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 8 months ago
Fast symbolic computation, code generation, and nonlinear optimization for robotics
Created
2022-01-05
992 commits to main branch, last one 6 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
6,565 commits to master branch, last one 18 hours ago
Aesara is a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays.
Created
2019-11-12
30,112 commits to main branch, last one 2 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 5 years ago
Distributed High-Performance Symbolic Regression in Julia
Created
2021-01-14
3,131 commits to master branch, last one a day ago
A modern computer algebra library for Python and Rust.
Created
2023-01-11
509 commits to main branch, last one 5 days ago
An engine for symbolic manipulation and numeric evaluation of math formulas expressed with MathJSON
Created
2019-10-31
1,113 commits to main branch, last one 19 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
676 commits to master branch, last one 2 months ago
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Created
2012-12-20
26,472 commits to master branch, last one 20 days ago
Scientific computing in Lean 4
Created
2021-09-27
1,796 commits to master branch, last one a day ago
Official repository of the FriCAS computer algebra system
Created
2014-05-07
3,160 commits to master branch, last one 7 days ago
Symbolic parser for Julia language term rewriting using REDUCE algebra
Created
2017-05-05
210 commits to master branch, last one about a month 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,208 commits to master branch, last one 3 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 9 months ago
Computer calculations made easy
Created
2015-07-26
4,099 commits to master branch, last one 2 months ago
Julia package for the construction of quantum lattice systems.
Created
2018-09-19
595 commits to master branch, last one 6 days ago
A simple package to do symbolic math (focus on code gen and DSLs)
Created
2011-07-08
1,047 commits to main branch, last one 7 days ago
Ridiculously fast symbolic expressions
Created
2022-10-16
2,635 commits to master branch, last one 13 days ago
Deep.Net machine learning framework for F#
Created
2016-05-23
1,375 commits to master branch, last one 6 years ago
Library for Polynomial System Solving through Algebraic Methods
Created
2022-06-23
2,179 commits to master branch, last one about a month ago
mathiu : a simple computer algebra system in C++.
Created
2021-06-27
86 commits to main branch, last one 3 years ago
Various methods for generating synthetic data for data science and ML
Created
2019-06-30
29 commits to master branch, last one 3 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
Groebner bases in (almost) pure Julia
Created
2021-10-30
1,041 commits to master branch, last one a day ago
Tools for an Aesara-based PPL.
Created
2021-05-26
253 commits to main branch, last one about a year ago
Symbolica's open-source symbolic execution engine.
Created
2021-05-19
188 commits to master branch, last one 2 years ago
Curso de Ciência da Computação
Created
2021-03-01
345 commits to master branch, last one 5 days ago