Symbolic Math System scripting language
-
Updated
Jun 12, 2024 - C
Symbolic Math System scripting language
Swiss Army knife for Unix permissions
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 automated transformations of differential equations
Reasoning Engine for Neuro-Symbolic AI
Distributed High-Performance Symbolic Regression in Julia
High-Performance Symbolic Regression in Python and Julia
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
LLDB commands for iOS debugging and reverse engineering. 一些用于调试iOS应用的lldb命令。
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
ToolChain using Symbolic Execution for Malware Analysis.
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
A Kotlin Multi-Platform ecosystem for symbolic AI
Get a symbolic approximation to a system of nonlinear partial differential equations in the form of a truncated Taylor series representation
Library for Data Decision Diagrams and Set Decision Diagrams
Add a description, image, and links to the symbolic topic page so that developers can more easily learn about it.
To associate your repository with the symbolic topic, visit your repo's landing page and select "manage topics."