25 results found Sort:
- Filter by Primary Language:
- Python (9)
- 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,416 commits to master branch, last one a day 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 17 hours ago
Computer Algebra System in Javascript (Typescript)
Created
2016-03-23
943 commits to master branch, last one 2 years ago
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Created
2021-08-04
519 commits to main branch, last one 13 days ago
Distributed High-Performance Symbolic Regression in Julia
Created
2021-01-14
3,131 commits to master branch, last one 23 hours ago
Use angr in Ghidra
Created
2020-08-26
71 commits to master branch, last one 3 months ago
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created
2021-07-11
824 commits to main branch, last one 12 days ago
S2E: A platform for multi-path program analysis with selective symbolic execution.
Created
2020-01-07
1,747 commits to master branch, last one 2 months ago
An experimental computer algebra system written in Go
Created
2016-06-22
1,026 commits to master branch, last one 3 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
Functional tensors for probabilistic programming
Created
2019-01-30
577 commits to master branch, last one about a year ago
Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:
Created
2017-12-07
854 commits to master branch, last one 2 days ago
A python package to solve robot arm inverse kinematics in symbolic form
Created
2017-09-21
236 commits to main branch, last one 5 months ago
A python framework for symbolic music generation, evaluation and analysis
Created
2022-07-15
123 commits to main branch, last one about a year ago
A Symbolic Package for Octave using SymPy
Created
2014-04-10
3,832 commits to main branch, last one 8 days ago
Swiss Army knife for Unix permissions
Created
2018-12-18
1,979 commits to main branch, last one 3 days ago
A Dolev-Yao-model-guided fuzzer for TLS
Created
2021-09-30
1,576 commits to main branch, last one 26 days ago
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created
2021-10-11
545 commits to master branch, last one 2 days ago
A Kotlin Multi-Platform ecosystem for symbolic AI
Created
2019-12-29
3,558 commits to master branch, last one 7 days ago
SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SC...
Created
2022-03-11
411 commits to production branch, last one 3 months 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
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Created
2020-06-02
1,285 commits to master branch, last one 9 days ago
Counterfactual Reasoning VQA Dataset
Created
2023-10-08
24 commits to master branch, last one 12 months ago