23 results found Sort:
- Filter by Primary Language:
- Python (7)
- Julia (3)
- JavaScript (3)
- Haskell (1)
- Java (1)
- Kotlin (1)
- Mathematica (1)
- MATLAB (1)
- Rust (1)
- C (1)
- TypeScript (1)
- C# (1)
- C++ (1)
- +
High-Performance Symbolic Regression in Python and Julia
Created
2020-09-14
2,269 commits to master branch, last one 11 days 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,459 commits to master branch, last one 3 days ago
Computer Algebra System in Javascript (Typescript)
Created
2016-03-23
943 commits to master branch, last one 2 years ago
Distributed High-Performance Symbolic Regression in Julia
Created
2021-01-14
2,515 commits to master branch, last one 25 days ago
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Created
2021-08-04
512 commits to main branch, last one 17 days ago
Use angr in Ghidra
Created
2020-08-26
69 commits to master branch, last one 3 months ago
Reasoning Engine for Neuro-Symbolic AI
Created
2021-07-11
774 commits to main branch, last one 6 days ago
S2E: A platform for multi-path program analysis with selective symbolic execution.
Created
2020-01-07
1,722 commits to master branch, last one 29 days ago
An experimental computer algebra system written in Go
Created
2016-06-22
1,014 commits to master branch, last one 8 months 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 2 days ago
Functional tensors for probabilistic programming
Created
2019-01-30
577 commits to master branch, last one 9 months ago
A python package to solve robot arm inverse kinematics in symbolic form
Created
2017-09-21
203 commits to main branch, last one 4 months ago
A python framework for symbolic music generation, evaluation and analysis
Created
2022-07-15
123 commits to main branch, last one 11 months ago
A Symbolic Package for Octave using SymPy
Created
2014-04-10
3,801 commits to main branch, last one 15 days ago
Swiss Army knife for Unix permissions
Created
2018-12-18
1,872 commits to main branch, last one 26 days ago
A Dolev-Yao-model-guided fuzzer for TLS
Created
2021-09-30
1,465 commits to main branch, last one 7 days ago
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created
2021-10-11
518 commits to master branch, last one 20 hours ago
A Kotlin Multi-Platform ecosystem for symbolic AI
Created
2019-12-29
3,547 commits to master branch, last one 3 days ago
An expert system using logic-based artificial intelligence and symbolic AI.
Created
2018-07-10
25 commits to master 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
A Python package for automata theory.
Created
2018-03-13
301 commits to master branch, last one about a year ago
ToolChain using Symbolic Execution for Malware Analysis.
Created
2022-03-11
382 commits to production branch, last one a day ago
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Created
2020-06-02
1,283 commits to master branch, last one 10 months ago