14 results found Sort:

wala
WALA wala
236
786
epl-2.0
29
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
java android slicing callgraph javascript static-analysis pointer-analysis program-analysis dataflow-analysis static-code-analysis
Created 2012-04-05
7,291 commits to master branch, last one about a month ago
mchalupa
dg mchalupa
136
500
mit
19
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
llvm slice llvm-ir slicing analysis llvm-slicer llvm-bitcode backward-slice data-dependency static-analysis static-analyzer backward-slicing dependence-graph dependency-graph pointer-analysis program-analysis control-dependency points-to-analysis reaching-definitions static-code-analysis
Created 2015-02-19
3,181 commits to master branch, last one 2 years ago
staticafi
symbiotic staticafi
57
323
mit
11
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
klee llvm slice llvm-ir slicing verification instrumentation program-slicing symbolic-execution program-verification software-verification verification-toolchain
Created 2014-12-30
2,060 commits to main branch, last one 16 days ago
moehriegitt
hob3l moehriegitt
16
252
gpl-3.0
7
100x Faster Slicing of SCAD Files for 3D Printing
csg stl fast plane webgl polygon slicing openscad polyhedron 3d-printing polygon-boolean polygon-clipping
Created 2018-09-28
341 commits to master branch, last one 10 months ago
bahrie127
flutter_grocery_app bahrie127
11
93
unknown
3
learning slicing and flutter bloc state management
bloc dart uiux flutter slicing
Created 2022-08-01
9 commits to master branch, last one about a year ago
timschmidt
csgrs timschmidt
11
75
mit
3
Constructive solid geometry with polygons using BSP trees in Rust
cnc csg geo stl svg gamedev physics slicing code-cad geometry polygons metaballs polylines geospatial offsetting parametric simulation 3d-printing tessellation signed-distance-fields
Created 2025-01-05
549 commits to main branch, last one 10 hours ago
fabiocaccamo
python-fontbro fabiocaccamo
4
70
mit
2
:billed_cap: friendly font operations on top of fontTools.
otf ttf font woff woff2 python static subset scripts slicing opentype renaming variable fonttools languages subsetting typography variations writing-systems
Created 2021-10-14
584 commits to main branch, last one 23 days ago
intoli
slice intoli
3
55
other
5
A JavaScript implementation of Python's negative indexing and extended slice syntax.
range slice arrays nodejs python slicing strings javascript negative-indices
Created 2018-05-31
108 commits to master branch, last one 6 years ago
epit3d
spycer epit3d
11
50
mit
6
Gcode viewer for slicer for 5 axes 3d printer
stl vtk 5axes gcode pyqt5 python3 slicing
Created 2018-06-04
376 commits to master branch, last one 5 days ago
resess
Slicer4J resess
19
45
mit
7
Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
java slicer slicing
Created 2021-07-02
100 commits to main branch, last one about a year ago
Fernandovj
DeepSARA Fernandovj
9
42
unknown
1
Admission Control and Resource Allocation mechanism for 5G Core Network Slicing based on Reinforcement Learning and Deep Learning
5g slicing networking virtualization reinforcement-learning
Created 2020-03-28
10 commits to master branch, last one 2 years ago
Bodigrim
text-rope Bodigrim
3
37
bsd-3-clause
3
A wrapper around Text for fast line/column navigation and logarithmic concatenation
rope text lines utf-16 haskell slicing unicode position concatenation
Created 2021-12-24
43 commits to master branch, last one 9 months ago
or-abdillh
chat-app or-abdillh
6
36
unknown
1
Project slicing design UI to real interface uisng Vue JS and Tailwind #08
pinia vuejs slicing tailwindcss vue-router4
Created 2022-02-13
18 commits to main branch, last one 3 years ago
srl-labs
sros-anysec-macsec-lab srl-labs
3
28
unknown
7
This is an ANYSec and MACSec demo using Nokia SROS vSIMs with SR-ISIS and Flex-Algo Slicing, gNMIc Streaming Telemetry and Python/Flask Automation.
fp5 sros gnmic anysec macsec grafana slicing sr-isis clab-topo flex-algo telemetry automation prometheus containerlab
Created 2023-12-17
166 commits to main branch, last one about a month ago