symbolic

#算法刷题#High-Performance Symbolic Regression in Python and Julia

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 ...

Computer Algebra System in Javascript (Typescript)

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

#计算机科学#Distributed High-Performance Symbolic Regression in Julia

Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍

Use angr in Ghidra

a symbolic math expression evaluator for javascript

S2E: A platform for multi-path program analysis with selective symbolic execution.

An experimental computer algebra system written in Go

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, ...

Use angr in the IDA Pro debugger generating a state from the current debug session

Symbolic Geometric Algebra/Calculus package for SymPy 🔮

#计算机科学#Functional tensors for probabilistic programming

A python package to solve robot arm inverse kinematics in symbolic form

#计算机科学#A python framework for symbolic music generation, evaluation and analysis

A Symbolic Package for Octave using SymPy

A Dolev-Yao-model-guided fuzzer for TLS

Swiss Army knife for Unix permissions

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.