Awesome Open Source

Programming Languages

Search results for python symbolic

228 search results found

A powerful and user-friendly binary analysis platform!

Manticore ⭐ 3,535

Symbolic execution tool

Miasm ⭐ 3,253

Reverse engineering framework in Python

High-Performance Symbolic Regression in Python and Julia

Minpy ⭐ 1,123

NumPy interface with mixed backend execution

Describing statistical models in Python using symbolic formulas

Deepstate ⭐ 782

A unit test-like interface for fuzzing and symbolic execution

Driller ⭐ 734

Driller: augmenting AFL with symbolic execution!

dplyr-style piping operations for pandas dataframes

Ai Feynman ⭐ 542

Symbolic_deep_learning ⭐ 520

Code for "Discovering Symbolic Models from Deep Learning with Inductive Biases"

Scenegraphparser ⭐ 478

A python toolkit for parsing captions (in natural language) into scene graphs (as symbolic representations).

Safe Control Gym ⭐ 477

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

Winograd minimal convolution algorithm generator for convolutional neural networks.

A toolkit for symbolic music generation

Neural Symbolic Machines ⭐ 346

Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.

Tensorlang ⭐ 303

Tensorlang, a differentiable programming language based on TensorFlow

Pysymemu ⭐ 301

An amd64 symbolic emulator

Mxnet Memonger ⭐ 288

Sublinear memory optimization for deep learning, reduce GPU memory cost to train deeper nets

Formulaic ⭐ 267

A high-performance implementation of Wilkinson formulas for Python.

McCarthy's Lisp in Python with macros. A celebration of 50+ years of symbolic processing.

Sympy.jl ⭐ 248

Julia interface to SymPy via PyCall

Python Exploration with Z3

Neural-symbolic visual question answering

Swiftnet ⭐ 232

Functional tensors for probabilistic programming

Seninja ⭐ 218

symbolic execution plugin for binary ninja

Nscl Pytorch Release ⭐ 209

PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).

Source code for AAAI 2020 paper "Channel Attention Is All You Need for Video Frame Interpolation"

SymGDB - symbolic execution plugin for gdb

Galgebra ⭐ 197

Symbolic Geometric Algebra/Calculus package for SymPy 🔮

Miditoolkit ⭐ 187

https://pypi.org/project/miditoolkit/

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

Seeding fuzzers with symbolic execution

Angrgdb ⭐ 152

Use angr inside GDB. Create an angr state from the current debugger state.

A framework for gene expression programming (an evolutionary algorithm) in Python

Automatic Discrepancy Discovery for DPI Elusion

Matchpy ⭐ 117

A library for pattern matching on symbolic expressions in Python.

Esilsolve ⭐ 116

A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)

Musicaiz ⭐ 115

A python framework for symbolic music generation, evaluation and analysis

Mint Y Icons ⭐ 113

The Mint-Y icon theme

Sebastian ⭐ 110

symbolic music analysis and composition library in Python

Pymbolic ⭐ 101

A simple package to do symbolic math (focus on code gen and DSLs)

Fungrim ⭐ 100

Fungrim: the Mathematical Functions Grimoire

Symbolic Execution Tool in r2

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

minimal symbolic model checker & fuzzer

Pyodesys ⭐ 84

∫ Straightforward numerical integration of systems of ordinary differential equations

Python implementation of Symbolic Aggregate approXimation

a python 3 library based on deap providing abstraction layers for symbolic regression problems.

Symbolic Execution Tutorial ⭐ 73

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

LatPlan : A domain-independent, image-based classical planner

Time-series Generative Adversarial Networks (fork from the ML-AIM research group on bitbucket))

Timeless debugging with symbolic execution and processor trace

Pitchfork ⭐ 67

Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

SYmbolic MOdeling of RObots software. This is an open-source version of SYMORO software written in Python.

R2con2020_deobfuscation ⭐ 63

Provides the functionality of GNU Stow in a cross platform CLI tool and python module

Fast Function Extraction

A language for symbolic transitions system, inspired by Ivy.

Control-flow-flattening and string deobfuscator

Probnmn Clevr ⭐ 52

Code for ICML 2019 paper "Probabilistic Neural-symbolic Models for Interpretable Visual Question Answering" [long-oral]

Symbolic Simplification with PAttern Matching

Abstract library to generate angr states from a debugger state

A symbolic execution engine for Python

An interior-point method written in python for solving constrained and unconstrained nonlinear optimization problems.

Pythomata ⭐ 45

A Python package for automata theory.

Build your emulation environment as needed

A tiny KVM hypervisor written in Python

Fast Symbolic Regression ⭐ 41

Blazing fast symbolic regresison

Symbolic Pymc ⭐ 40

Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.

Csound Extended ⭐ 39

Extensions for Csound including algorithmic composition, Android app, and WebAssembly.

Turkish Makam Music Symbolic Data Collection

Copy-on-write for Python

Quantum_notebooks ⭐ 37

Jupyter Notebooks that demonstrate SymPy's symbolic quantum mechanics package.

Synthetic ⭐ 37

Symbolic Generators for Complex Networks

A symbolic finite element definition library

Sympy Paper ⭐ 37

Repo for the paper "SymPy: symbolic computing in python"

A mirror of https://gitlab.kwant-project.org/qt/qsymm

Xorshift128plus ⭐ 36

Symbolic execution for the XorShift128+ algorithm.

CoreIR Symbolic Analyzer

Specify and synthesize systems using symbolic algorithms

Pytorch Geometric Gan ⭐ 35

Code accompanying the paper "Geometric GAN"

Jabbapylib ⭐ 33

A Python library that I use for my projects.

Python Symbolic Execution

Differentiation ⭐ 32

Implementing (parts of) TensorFlow (almost) from Scratch

SyReNN: Symbolic Representations for Neural Networks

Ntfslink Python ⭐ 30

Python extension allowing some basic manipulation over Win32 junction points, symbolic links, and hard links.

Symbolic code generators for multipole and local expansions and translations

Deepsymreg ⭐ 29

Official repository for the paper "Integration of Neural Network-Based Symbolic Regression in Deep Learning for Scientific Discovery"

Triton based R2 plugin for concolic execution and total control

Vocal Melody Extraction ⭐ 29

Source code for "Vocal melody extraction with semantic segmentation and audio-symbolic domain transfer learning".

Symbolic Regression ⭐ 28

predicting equations from raw data with deep learning

Pyneqsys ⭐ 27

Solve symbolically defined systems of non-linear equations numerically.

Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.

Simple swig bindings for the GNU Linear Programming Kit

Slicap_python ⭐ 26

Open-source version of SLiCAP, implemented in python

Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:

Related Searches

Python Django (28,897)

Python Machine Learning (20,195)

Python Flask (17,643)

Python Dataset (14,792)

Python Pytorch (14,670)

Python Docker (14,113)

Python Tensorflow (13,737)

Python Command Line (13,351)

Python Deep Learning (13,092)

Python Jupyter Notebook (12,976)

1-100 of 228 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.