| graspit |
2.2-4 |
2 |
0.00 |
Environment for grasp analysis and planning. |
Sandmann
|
| grass6 |
6.4.6-1 |
3 |
0.00 |
Geospatial data management and analysis, image processing, graphics/maps production, spatial modeling and visualization. |
czk
|
| greenflare |
0.97-3 |
0 |
0.00 |
A light weight SEO web crawler and analysis tool |
beb7
|
| gsas-expgui-svn |
1253-4 |
3 |
0.00 |
General Structure Analysis System - refinement for powder diffraction patterns |
b00rt00s
|
| g_lomepro |
1.0.2-3 |
0 |
0.00 |
Local Membrane Property Analysis |
hseara
|
| hashclash-cuda-git |
r53.0df53bb-1 |
0 |
0.00 |
Project HashClash - MD5 & SHA-1 cryptanalysis with CUDA support |
bertptrs
|
| hashclash-git |
r46.d833657-1 |
1 |
0.00 |
Project HashClash - MD5 & SHA-1 cryptanalysis |
bertptrs
|
| haskell-language-c5 |
0.5.0-3 |
0 |
0.00 |
Analysis and generation of C code |
pure-aur
|
| hdtv |
20.12-1 |
1 |
0.00 |
Nuclear spectrum analysis tool on top of the ROOT data analysis toolkit |
op3
|
| hdtv-git |
r1182.b8b057a-1 |
0 |
0.00 |
Nuclear spectrum analysis tool on top of the ROOT data analysis toolkit |
op3
|
| hets-desktop |
0.99_1484075143-1 |
0 |
0.00 |
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
| hets-desktop-bin |
0.99_1484075143-1 |
0 |
0.00 |
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
| hets-server |
0.99_1484075143-1 |
0 |
0.00 |
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
| hets-server-bin |
0.99_1484075143-1 |
0 |
0.00 |
A parsing, static analysis and proof management tool incorporating various provers and different specification languages. |
eugenk
|
| hidviz |
0.1.5-1 |
3 |
0.00 |
Tool for in-depth analysis of USB HID devices communication |
craftyguy
|
| honggfuzz-git |
0.7.r119.g33cce5d-1 |
1 |
0.00 |
A general-purpose, easy-to-use fuzzer with interesting analysis options |
Edholm
|
| httpflow-git |
r66.53d560a-1 |
0 |
0.00 |
Packet capture and analysis utility similar to tcpdump for HTTP |
orphan
|
| idaholab-raven |
2.0-1 |
0 |
0.00 |
multi-purpose probabilistic risk analysis, uncertainty quantification, parameter optimization and data knowledge-discovering framework |
xantares
|
| ifeffit |
1.2.final-2 |
1 |
0.00 |
XAFS analysis program |
awacha
|
| illuaminate |
latest-1 |
0 |
0.00 |
Very WIP static analysis for Lua |
JakobDev
|
| intel-vtune-amplifier-community |
2019.5.0.601413-1 |
0 |
0.00 |
VTune Amplifier -- Performance profiler for serial and parallel performance analysis |
orphan
|
| iraf |
2.16-1 |
7 |
0.00 |
Image Reduction and Analysis Facility |
orphan
|
| iraf-bin |
2.16-11 |
9 |
0.00 |
Image Reduction and Analysis Facility |
orphan
|
| iramuteq-bin |
0.7.alpha2-2 |
1 |
0.00 |
Statistical analysis of text |
orphan
|
| isis |
1.6.2-43 |
0 |
0.00 |
ISIS is designed to facilitate the interpretation and analysis of high resolution X-ray spectra. |
ydallilar
|
| itk4 |
4.13.3-1 |
0 |
0.00 |
Cross-platform system that provides developers with an extensive suite of software tools for image analysis |
geosam
|
| java-asm |
7.0-1 |
2 |
0.00 |
An all purpose Java bytecode manipulation and analysis framework |
tsachev
|
| jaziku |
1.0.0-2 |
0 |
0.00 |
Jaziku is statistical inference software for the teleconnections analysis |
XavierCLL
|
| jaziku-devel |
1.0.0-1 |
0 |
0.00 |
Jaziku is statistical inference software for the teleconnections analysis |
XavierCLL
|
| jerry |
3.0.6-1 |
2 |
0.00 |
A chess analysis GUI |
orphan
|
| jmars |
3.0.4-1 |
0 |
0.00 |
'Java Mission-planning and Analysis for Remote Sensing' is a geospatial information system for Mars |
lubosz
|
| joincap-bin |
0.10.2-1 |
0 |
0.00 |
Merge multiple pcap files together, gracefully |
ragouel
|
| juicebox |
1.11.08-2 |
0 |
0.00 |
Visualization and analysis software for Hi-C data |
robymetallo
|
| kayak-git |
.-1 |
1 |
0.00 |
Kayak is a CAN bus analysis tool based on SocketCAN |
orphan
|
| kerncraft-git |
r803-1 |
2 |
0.00 |
Loop Kernel Analysis and Performance Modeling Toolkit |
vivaeltopo
|
| kflog |
4.10.0-1 |
2 |
0.00 |
Flight planning and analysis software |
CarstenF
|
| kube-linter-bin |
0.1.6-0 |
0 |
0.00 |
KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices. |
cwrau
|
| kytea |
0.4.7-2 |
0 |
0.00 |
The Kyoto Text Analysis Toolkit for word segmentation and pronunciation estimation, etc. |
cosmo0920
|
| kytea-git |
r143.ae3d235-1 |
0 |
0.00 |
The Kyoto Text Analysis Toolkit for word segmentation and pronunciation estimation, etc. |
nosada
|
| labplot-git |
2.7.0.r805.g2b12b7900-1 |
3 |
0.00 |
KDE Application for interactive graphing and analysis of scientific data, build from git |
IslandC0der
|
| lag-git |
r384.6b0b2fb-1 |
1 |
0.00 |
LAG is a software for visualisation, analysis and processing of LiDAR data. |
fbarriga
|
| langkit-git |
r6816.55fe04716-1 |
1 |
0.00 |
Compiler for syntactic and semantic language analysis libraries |
pmderodat
|
| lib32-leptonica |
1.80.0-1 |
0 |
0.00 |
Software that is broadly useful for image processing and image analysis applications (32 bit) |
rodrigo21
|
| libabigail |
1.7-1 |
0 |
0.00 |
ABI Generic Analysis and Instrumentation Library |
z33ky
|
| libecap |
1.0.1-1 |
1 |
0.00 |
eCAP is a software interface that allows a network application to outsource content analysis and adaptation to a loadable module. |
orphan
|
| libluasandbox |
1.3.0-1 |
2 |
0.00 |
Generic Lua sandbox for dynamic data analysis |
nerzhul
|
| libreoffice-extension-linguist |
1.5.1-1 |
0 |
0.00 |
A simple text analysis extension for LibreOffice |
zeroxfourc
|
| lizzie-git |
0.7.4.r8.gebeb446-1 |
1 |
0.00 |
Analysis interface for Leela Zero |
algebro
|
| ltsa |
3.0-7 |
5 |
0.00 |
Labelled Transition System Analyser, a verification tool for concurrent systems |
gamezelda
|
| lttoolbox |
3.3.3-1 |
15 |
0.00 |
Handles lexical processing, morphological analysis and generation of words in natural languages using fast finite state transducers. |
unhammer
|