All Categories → No Category → symbolic

Top 9 symbolic open source projects

No description or website provided.

✭ 21

python shell rust dse static-analysis symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic-execution concolic coverage-guided-fuzzing bug-detection hybrid-fuzzing

A Kotlin Multi-Platform ecosystem for symbolic AI

✭ 52

kotlin jvm symbolic tuprolog kotlin-multiplatform kotlin-multi-platform 2p simbolic-ai

HashedExpression

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

✭ 40

haskell c machine-learning optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b

Symbolic-computation-Python

Symbolic computation using SymPy and various applications

✭ 18

Jupyter Notebook calculus algebra linear-algebra symbolic symbolic-computation

Specify and synthesize systems using symbolic algorithms

✭ 36

python TLA Makefile automata symbolic synthesis temporal-logic streett rabin bitvector logic-minimization

A symbolic model checker for Dynamic Epistemic Logic.

✭ 31

haskell HTML Yacc RPC logic symbolic model-checking epistemic-logic

General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.

✭ 266

julia TeX rust optimization symbolic symbolic-manipulation symbolic-computation compiler-optimization term-rewriting compiler-construction equality-saturation egraphs

safe-control-gym

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

✭ 272

python shell control reinforcement-learning quadcopter robotics symbolic gym cartpole safety quadrotor robustness pybullet casadi

A Mathematica package for generating symbolic models from data

✭ 46

Mathematica data model symbolic generation

1-9 of 9 symbolic projects