Topic: symbolic Goto Github
Some thing interesting about symbolic
Some thing interesting about symbolic
symbolic,Comprehensive univariate polynomial class. All arithmetic performed symbolically. Some advanced features include: Arithmetic of polynomial rings over a finite field, the Tonelli-Shanks algorithm, GCD, exponentiation by squaring, irreducibility checking, modular arithmetic (obviously) and polynomials from roots.
User: adamwhitehat
symbolic,CLI utility to move (or rename) your files to a new location and redirect all of its symbolic links, to the new path
User: adoliin
Home Page: https://crates.io/crates/move-links
symbolic,SymPP: A Symbolic Library that compiles itself
User: alandefreitas
Home Page: https://alandefreitas.github.io/sympp/
symbolic,Use angr in the IDA Pro debugger generating a state from the current debug session
User: andreafioraldi
Home Page: https://andreafioraldi.github.io/IDAngr/
symbolic,A python framework for symbolic music generation, evaluation and analysis
User: carlosholivan
Home Page: https://carlosholivan.github.io/musicaiz
symbolic,Real Spherical Harmonics for PyTorch
User: cheind
symbolic,A fully-featured symbolic pattern matcher for Clojure.
Organization: cognesence
symbolic,An experimental computer algebra system written in Go
User: corywalker
symbolic, 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.
Organization: csvl
Home Page: https://csvl.github.io/SEMA/
symbolic,Computer Algebra System in Javascript (Typescript)
User: davidedc
Home Page: http://algebrite.org
symbolic,Symbolic differentation of algebraic expressions with Python and Tcl interfaces.
Organization: devsim
Home Page: https://github.com/devsim/symdiff/wiki
symbolic,Swiss Army knife for Unix permissions
User: ehmicky
symbolic,A Symbolic Package for Octave using SymPy
Organization: gnu-octave
Home Page: https://octave.sourceforge.io/symbolic/
symbolic,symbolic reachability checker
Organization: go-air
symbolic,An efficient symbolic term rewriting engine
User: harrisongrodin
symbolic,
Organization: ispras
symbolic,OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Organization: ispras
Home Page: https://sydr-fuzz.github.io
symbolic,Sydr benchmark applications
Organization: ispras
symbolic,A computer algebra system for propositional logic
User: jakobjpeters
Home Page: https://jakobjpeters.github.io/PAndQ.jl/
symbolic,a symbolic math expression evaluator for javascript
User: jiggzson
Home Page: http://www.nerdamer.com
symbolic,A symbolic model checker for Dynamic Epistemic Logic.
Organization: jrclogic
Home Page: https://w4eg.de/malvin/illc/smcdelweb
symbolic,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.
Organization: juliasymbolics
Home Page: https://juliasymbolics.github.io/Metatheory.jl/dev/
symbolic,Counterfactual Reasoning VQA Dataset
User: letian2003
Home Page: https://arxiv.org/abs/2310.06627
symbolic,Library for Data Decision Diagrams and Set Decision Diagrams
Organization: lip6
Home Page: http://ddd.lip6.fr
symbolic,Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Organization: lip6
symbolic,Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Organization: mcmasteru
Home Page: https://github.com/McMasterU/HashedExpression
symbolic,High-Performance Symbolic Regression in Python and Julia
User: milescranmer
Home Page: https://astroautomata.com/PySR
symbolic,Distributed High-Performance Symbolic Regression in Julia
User: milescranmer
Home Page: https://astroautomata.com/SymbolicRegression.jl/dev/
symbolic,Use angr in Ghidra
User: nalen98
symbolic,Neuro-Symbolic AI with Knowledge Graph | "True Reasoning" through data and logic 🌿🌱🐋🌍
Organization: nucleoidai
Home Page: https://nucleoid.ai
symbolic,Simple swig bindings for the GNU Linear Programming Kit
Organization: opencobra
symbolic,A Mathematica package for generating symbolic models from data
User: paulknysh
symbolic,An expert system using logic-based artificial intelligence and symbolic AI.
User: primaryobjects
symbolic,Functional tensors for probabilistic programming
Organization: pyro-ppl
Home Page: https://funsor.pyro.ai
symbolic,Symbolic Geometric Algebra with E-Graphs
User: robinka
symbolic,Numeric and symbolic automatic differentation for javascript and typescript
User: robinka
Home Page: https://warlock.ai/tadiff-frontend/
symbolic,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
Organization: sciml
Home Page: https://mtk.sciml.ai/dev/
symbolic,A general interface for symbolic indexing of SciML objects used in conjunction with Domain-Specific Languages
Organization: sciml
Home Page: https://docs.sciml.ai/SymbolicIndexingInterface/stable/
symbolic,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.
User: simensgreen
symbolic,Simple lambda functions without `lambda x:` prefix and with string conversion capability.
User: smarie
Home Page: https://smarie.github.io/python-mini-lambda/
symbolic,Symbolica's open-source symbolic execution engine.
Organization: symbolica
Home Page: https://www.symbolica.dev
symbolic,Symbolic computation using SymPy and various applications
User: tirthajyoti
symbolic,Specify and synthesize systems using symbolic algorithms
Organization: tulip-control
Home Page: https://pypi.org/project/omega
symbolic,A Kotlin Multi-Platform ecosystem for symbolic AI
Organization: tuprolog
Home Page: http://tuprolog.unibo.it
symbolic,PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL
Organization: utiasdsl
Home Page: https://www.dynsyslab.org/safe-robot-learning/
symbolic,A python package to solve robot arm inverse kinematics in symbolic form
Organization: uw-biorobotics
Home Page: https://www.jair.org/index.php/jair/article/view/11592
symbolic,A Python package for automata theory.
Organization: whitemech
Home Page: https://whitemech.github.io/pythomata/
symbolic,🧮 Polynomial Calculator
User: zeta611
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.