26 results found Sort:
- Filter by Primary Language:
- Python (10)
- 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,559 commits to master branch, last one 2 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
6,737 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
3,200 commits to master branch, last one 5 days ago
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Created
2021-08-04
521 commits to main branch, last one 14 days ago
Use angr in Ghidra
Created
2020-08-26
71 commits to master branch, last one 4 months ago
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Created
2021-07-11
827 commits to main branch, last one 2 days ago
S2E: A platform for multi-path program analysis with selective symbolic execution.
Created
2020-01-07
1,751 commits to master branch, last one 13 days ago
An experimental computer algebra system written in Go
Created
2016-06-22
1,031 commits to master branch, last one 20 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 3 months ago
Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:
Created
2017-12-07
854 commits to master branch, last one about a month ago
Functional tensors for probabilistic programming
Created
2019-01-30
577 commits to master branch, last one about a year ago
A python package to solve robot arm inverse kinematics in symbolic form
Created
2017-09-21
236 commits to main branch, last one 6 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,835 commits to main branch, last one 20 days ago
Swiss Army knife for Unix permissions
Created
2018-12-18
1,983 commits to main branch, last one 27 days ago
A Dolev-Yao-model-guided fuzzer for TLS
Created
2021-09-30
1,578 commits to main branch, last one 19 days ago
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Created
2021-10-11
552 commits to master branch, last one 3 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
414 commits to production branch, last one 24 days ago
A Kotlin Multi-Platform ecosystem for symbolic AI
Created
2019-12-29
3,558 commits to master branch, last one about a month 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 about a month ago
This repository has no description...
Created
2020-09-23
147 commits to master branch, last one about a month ago
Counterfactual Reasoning VQA Dataset
Created
2023-10-08
24 commits to master branch, last one about a year ago