ReZolve is a symbolic computer algebra system that acts as a mathematical compiler written in Zig.
-
Updated
May 18, 2024 - Zig
ReZolve is a symbolic computer algebra system that acts as a mathematical compiler written in Zig.
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
A Kotlin Multi-Platform ecosystem for symbolic AI
QSym² - a Rust program for Quantum Symbolic Symmetry. This is only a mirror. Please visit the main repository on GitLab. Documentation at https://qsym2.dev.
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.
A Symbolic Package for Octave using SymPy
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Some very useful LLDB commands for iOS debugging and reverse engineering. 一些用于调试iOS应用的lldb命令。
Symbolic Math System scripting language
Swiss Army knife for Unix permissions
Distributed High-Performance Symbolic Regression in Julia
Reasoning Engine for Neuro-Symbolic AI
High-Performance Symbolic Regression in Python and Julia
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
A computer algebra system for propositional logic
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."