Awesome Open Source

Programming Languages

Search results for symbolic

839 search results found

Effectivetensorflow ⭐ 8,646

TensorFlow tutorials and best practices.

A powerful and user-friendly binary analysis platform!

Materialfiles ⭐ 4,467

Material Design file manager for Android

Manticore ⭐ 3,535

Symbolic execution tool

Miasm ⭐ 3,253

Reverse engineering framework in Python

Dua Cli ⭐ 3,205

View disk space usage and delete unwanted data, fast.

KLEE Symbolic Execution Engine

Go.rice ⭐ 2,319

go.rice is a Go package that makes working with resources such as html,js,css,images,templates, etc very easy.

Deepframeworks ⭐ 2,077

Evaluation of Deep Learning Frameworks

📦 Like npm, but faster - an alternative package manager for Node

TMSU lets you tags your files and then access them through a nifty virtual filesystem from any other application.

High-Performance Symbolic Regression in Python and Julia

Android ⭐ 1,395

MEGA Android App

Modelingtoolkit.jl ⭐ 1,292

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

Minpy ⭐ 1,123

NumPy interface with mixed backend execution

Awesome Symbolic Execution ⭐ 1,119

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Symengine ⭐ 1,051

SymEngine is a fast symbolic manipulation library, written in C++

The FORM project for symbolic manipulation of very big expressions

Describing statistical models in Python using symbolic formulas

Algebrite ⭐ 850

Computer Algebra System in Javascript (Typescript)

Libbacktrace ⭐ 828

A C library that may be linked into a C/C++ program to produce symbolic backtraces

Angr Doc ⭐ 820

Documentation for the angr suite

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

Angourimath ⭐ 726

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

SymCC: efficient compiler-based symbolic execution

Diff Zoo ⭐ 678

Differentiation for Hackers

Godirwalk ⭐ 661

Fast directory traversal for Golang

Rosette ⭐ 617

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Dotfiles ⭐ 594

Crucible ⭐ 577

Crucible is a library for symbolic simulation of imperative programs

Tullio.jl ⭐ 559

The Phar Installation and Verification Environment (PHIVE)

Renameio ⭐ 551

Package renameio provides a way to atomically create or replace a file or symbolic link.

Ai Feynman ⭐ 542

Symbolic_deep_learning ⭐ 520

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

Nginx_ensite ⭐ 516

A script to enable or disable a site in nginx.

Literature_review ⭐ 513

Survey of program analysis research with a focus on machine code

Angryghidra ⭐ 501

Use angr in Ghidra

Kotlingrad ⭐ 489

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types

Symbolicregression.jl ⭐ 484

Distributed High-Performance Symbolic Regression in Julia

Nerdamer ⭐ 479

a symbolic math expression evaluator for javascript

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

Haybale ⭐ 458

Symbolic execution of LLVM IR with an engine written in Rust

Winograd minimal convolution algorithm generator for convolutional neural networks.

Symbolic ⭐ 417

Stack trace symbolication library written in Rust

Properratingbar ⭐ 413

Inspired by stock android RatingBar. Simpler, has features that original lacks.

Symbolic Execution ⭐ 412

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

A toolkit for symbolic music generation

Waifu2x Mac ⭐ 390

Waifu2x-ios port to macOS, still in Core ML and Metal

Apalache ⭐ 387

APALACHE: symbolic model checker for TLA+ and Quint

Expreduce ⭐ 360

An experimental computer algebra system written in Go

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.

Httpster ⭐ 337

Simple http server for quick loading of content

Myphysicslab ⭐ 337

myPhysicsLab provides JavaScript classes to build real-time interactive animated physics simulations

Symja_android_library ⭐ 336

☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java. Inspired by Wolfram Language built-in functions.

Dotfiles ⭐ 322

🏠 Personal dotfiles for *NIX systems

Metatheory.jl ⭐ 321

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

Mathnet Symbolics ⭐ 321

Math.NET Symbolics

Interfaces for IO using Q promises in JavaScript on Node

Pwn2own2020 ⭐ 314

Compromising the macOS Kernel through Safari by Chaining Six Vulnerabilities

Expresso ⭐ 309

Clojure library for symbolic computation

Tensorlang ⭐ 303

Tensorlang, a differentiable programming language based on TensorFlow

Pysymemu ⭐ 301

An amd64 symbolic emulator

Ethereum_formal_verification_overview ⭐ 288

Overview of the formal verification projects in the Ethereum ecosystem.

Mxnet Memonger ⭐ 288

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

Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions

Symqemu ⭐ 267

SymQEMU: Compilation-based symbolic execution for binaries

Formulaic ⭐ 267

A high-performance implementation of Wilkinson formulas for Python.

Calculus.jl ⭐ 265

Calculus functions in Julia

symbolic execution engine for Rust

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

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

Symlinker ⭐ 251

Symbolic Link Creator. GUI for mklink, Microsoft Windows symlink utility

Sympy.jl ⭐ 248

Julia interface to SymPy via PyCall

Unipdf Examples ⭐ 246

Examples for creating and processing PDF files with UniPDF https://github.com/unidoc/unipdf

Symexbib ⭐ 239

A bibliography of papers related to symbolic execution

Neural-symbolic visual question answering

Python Exploration with Z3

Swiftnet ⭐ 232

Pyranet ⭐ 226

Code for "Learning Feature Pyramids for Human Pose Estimation" (ICCV 2017)

Functional tensors for probabilistic programming

Seninja ⭐ 218

symbolic execution plugin for binary ninja

Turbo Rascal Syntax Error full repo

Fuzzball ⭐ 212

FuzzBALL: Vine-based Binary Symbolic Execution

Nscl Pytorch Release ⭐ 209

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

Dotfiles ⭐ 209

dotfiles symbolic links management CLI

Fstream ⭐ 206

Advanced FS Streaming for Node

Reduce.jl ⭐ 202

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

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 🔮

Machinist ⭐ 194

Spire's macros for zero-cost operator enrichment

Linux Note ⭐ 193

主要是紀錄一些 linux 的指令📝

Miditoolkit ⭐ 187

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

Open source binary analysis tools.

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

Symengine.jl ⭐ 180

Julia wrappers of SymEngine

1-100 of 839 search results

Privacy | About | Terms | Follow Us On Twitter

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