slicing

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

100x Faster Slicing of SCAD Files for 3D Printing

A JavaScript implementation of Python's negative indexing and extended slice syntax.

A wrapper around Text for fast line/column navigation and logarithmic concatenation

Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.

Unified slicing for all Python data structures.

Gcode viewer for slicer for 5 axes 3d printer

Slicing package for FDM 3D Printing with COMPAS.

🧢 friendly font operations on top of fontTools.

Project slicing design UI to real interface uisng Vue JS and Tailwind #08

COMPAS package for working with CGAL.

A library for slicing and dicing arrays (without copying).

IginX -- An open-source clustering system for multi-dimensional scaling of standalone time series databases through generalized sharding.

A number of utilities for writing ACSL specifications for a Linux module.

Binary Ninja plugin for forward/backward slicing

Admission Control and Resource Allocation mechanism for 5G Core Network Slicing based on Reinforcement Learning and Deep Learning

CWS output plugin for CHITUBOX

This repo contains the general concepts , code snippets , topic-wise problems & solutions of python-programming.

It includes the basic and advance numpy array manipulations. The topics like indexing, slicing, fast element array-wise functions, mathematical and statistical methods, filing, linear algebra functions, pseudo-random numbers, reshaping, splitting, concatenating,tiles, repeating, where( ) function & numpy advanced array manipulation are implemented.

Mandoline is an accurate, low-overhead dynamic slicer for Android applicaions.

Onos application for deploying network slicing and performance isolation, in terms of both connectivity and performance.

The program STEPToXSection is a command line utility to export the contour of a planar cross section of solids contained in STEP files. It supports surface offsetting of the input geometry and in-plane curve offsetting. The in-plane base contour can also result from the orthogonal projection of geometries (silhouette) onto the plane within a specified maximum plane distance.

Tool to identify the presence of cryptographically-processed BLE characteristics in Android APKs.

A Scheme replacement for Guile's array system

Slicing Landing Xample Portofolio

An implementation of ORBS for the Cevelop C++ IDE

Examples for slicing executables

Python style array slicing features for kotlin