symbolic

There are 4 repositories under symbolic topic.

PySR
MilesCranmer / PySR
High-Performance Symbolic Regression in Python and Julia
algorithm automl data-science distributed-systems equation-discovery evolutionary-algorithms explainable-ai genetic-algorithm interpretable-ml julia machine-learning python scikit-learn symbolic symbolic-regression
Language:Python 2434
SciML / ModelingToolkit.jl
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
differential-equations ode dae ordinary-differential-equations pde sde dde stochastic-differential-equations delay-differential-equations julia symbolic symbolic-computation symbolic-numerics computer-algebra sciml scientific-machine-learning optimization nonlinear-programming acausal equation-based
Language:Julia 1430
davidedc / Algebrite
Computer Algebra System in Javascript (Typescript)
algebra algebraic algebraic-computation cas coffeescript computer-algebra computer-algebra-system javascript javascript-cas math symbolic symbolic-computation symbolic-manipulation
Language:TypeScript 968
safe-control-gym
utiasDSL / safe-control-gym
PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
cartpole casadi control gym pybullet quadcopter quadrotor reinforcement-learning robotics robustness safety symbolic
Language:Python 634
SymbolicRegression.jl
MilesCranmer / SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
symbolic-regression julia symbolic-computation machine-learning automl sciml interpretable-ml data-science distributed-systems evolutionary-algorithms explainable-ai genetic-algorithm symbolic equation-discovery
Language:Julia 631
Nalen98 / AngryGhidra
Use angr in Ghidra
angr execution ghidra ghidra-plugin symbolic symbolic-execution
Language:Java 562
Nucleoid
NucleoidAI / Nucleoid
Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
expert-system graph-rag javascript knowledge knowledge-base knowledge-graph logic logic-programming neuro-symbolic neuro-symbolic-ai neuro-symbolic-learning node rag reasoning reasoning-engine semantic-reasoner semantic-reasoning symbolic
Language:JavaScript 552
jiggzson / nerdamer
a symbolic math expression evaluator for javascript
algebra calculus differentiation equation expressions fraction fractions integration javascript latex math solve-equations solver substitutions symbolic
Language:JavaScript 517
S2E / s2e
S2E: A platform for multi-path program analysis with selective symbolic execution.
analysis automated cgc coverage device drivers execution kvm linux llvm pov qemu reverse-engineering s2e symbolic testing vm vulnerabilities windows x86
Language:C++ 450
corywalker / expreduce
An experimental computer algebra system written in Go
calculus cas computer-algebra language symbolic
Language:Mathematica 389
JuliaSymbolics / Metatheory.jl
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.
compiler-construction compiler-optimization egraphs equality-saturation julia optimization programming-language symbolic symbolic-computation symbolic-manipulation term-rewriting
Language:Julia 363
andreafioraldi / IDAngr
Use angr in the IDA Pro debugger generating a state from the current debug session
angr concrete debugger execution gui ida ida-plugin ida-pro idapython plugin symbolic symbolic-execution
Language:Python 268
pyro-ppl / funsor
Functional tensors for probabilistic programming
jax machine-learning numpy probabilistic-programming pyro pytorch symbolic
Language:Python 236
pygae / galgebra
Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:
geometric-algebra clifford-algebras quaternions physics python symbolic
Language:Python 233
uw-biorobotics / IKBT
A python package to solve robot arm inverse kinematics in symbolic form
robotics kinematics symbolic math python ai
Language:Python 177
musicaiz
carlosholivan / musicaiz
A python framework for symbolic music generation, evaluation and analysis
audio deep-learning machine-learning music music-generation python symbolic mir music-information-retrieval
Language:Python 167
gnu-octave / symbolic
A Symbolic Package for Octave using SymPy
octave symbolic computer-algebra mathematics
Language:MATLAB 160
unix-permissions
ehmicky / unix-permissions
Swiss Army knife for Unix permissions
umask chmod access-control unix posix setuid setgid permissions sticky acl cli javascript nodejs library shell terminal octal stat symbolic typescript
Language:JavaScript 136
tlspuffin / tlspuffin
A Dolev-Yao-model-guided fuzzer for TLS
fuzzer fuzzing symbolic tls tls12 tls13
Language:Rust 135
ispras / oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
security fuzzing fuzz-testing vulnerabilities stability oss-fuzz dse symbolic-execution symbolic sydr sydr-fuzz dynamic-symbolic-execution concolic-execution concolic hybrid-fuzzing libfuzzer
Language:C 132
2p-kt
tuProlog / 2p-kt
A Kotlin Multi-Platform ecosystem for symbolic AI
prolog logic-programming kotlin kotlin-multiplatform kotlin-multi-platform tuprolog 2p java jvm javascript js symbolic simbolic-ai
Language:Kotlin 95
SEMA
csvl / SEMA
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 (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.
malware-analysis malware symbolic classification symbolic-execution detection angr ctf concolic-execution linux sema static-analysis windows cybersecurity malware-detection malware-research python reverse reverse-engineering binary-analysis
Language:Python 94
HarrisonGrodin / Rewrite.jl
An efficient symbolic term rewriting engine
julia julialang algebra symbolic symbolic-math symbolic-computation rewriting
Language:Julia 77
primaryobjects / knowledgebase
An expert system using logic-based artificial intelligence and symbolic AI.
expert-system expert-systems logic-based-artificial-intelligence logical-knowledge-inference knowledgebase knowledge knowledge-discovery artificial-intelligence ai javascript nodejs symbolic symbolic-ai
Language:JavaScript 75
Symbolica / Symbolica
Symbolica's open-source symbolic execution engine.
symbolic symbolic-computation symbolic-execution testing testing-tool verification
Language:C# 65
whitemech / pythomata
A Python package for automata theory.
automaton automata automata-theory dfa dfa-minimization dfa-construction dfa-minimizer nfa nfa2dfa determinizer deterministic-finite-automata nondeterministic-finite-automata symbolic languages-and-automata symbolic-automata
Language:Python 54
paulknysh / sym
A Mathematica package for generating symbolic models from data
generation symbolic model data mathematica
Language:Mathematica 49
tulip-control / omega
Specify and synthesize systems using symbolic algorithms
temporal-logic synthesis symbolic streett rabin bitvector python automata logic-minimization
Language:Python 46
jrclogic / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
model-checking symbolic logic epistemic-logic haskell
Language:Haskell 43
McMasterU / HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
edsl haskell ipopt lbfgs lbfgs-b machine-learning optimization optimization-algorithms solvers symbolic symbolic-computation symbolic-differentiation type-level-programming type-safety
Language:Haskell 42
ispras / crusher
dse symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic concolic-execution hybrid-fuzzing static-analysis bug-detection coverage-guided-fuzzing
Language:Python 38
opencobra / swiglpk
Simple swig bindings for the GNU Linear Programming Kit
modeling-language optimization python scientific-computing symbolic
Language:Python 28
simensgreen / rusymbols
rusymbols is a Rust crate for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. rusymbols is written entirely in Rust.
rust algebra symbolic
Language:Rust 28
cognesence / matcher
A fully-featured symbolic pattern matcher for Clojure.
clojure symbolic pattern-matching matcher
Language:Clojure 24
Letian2003 / C-VQA
Counterfactual Reasoning VQA Dataset
benchmark counterfactual dataset llm reasoning symbolic vqa vqa-dataset
Language:Python 24
go-air / reach
symbolic reachability checker
model-checking verification ic3 pdr simulation bmc symbolic safety circuit go
Language:Go 23