key-logic
|
2.6.2-1 |
1 |
0.00
|
A dynamic logic proof tool |
orphan
|
2017-05-06 12:10 (UTC) |
key-exe-bin
|
2.8.0-1 |
0 |
0.00
|
Java Software Verification Tool |
orphan
|
2021-03-26 20:14 (UTC) |
karton
|
1.0.0-1 |
1 |
0.00
|
A tool to transparently run Linux programs on macOS or on another Linux distro, or a different architecture |
orphan
|
2018-03-12 16:48 (UTC) |
kapidox-git
|
r566.d385445-1 |
11 |
0.00
|
Frameworks API Documentation Tools |
orphan
|
2022-03-27 18:37 (UTC) |
kafka-manager
|
3.0.0.4-1 |
2 |
0.00
|
A tool for managing Apache Kafka. Also known as CMAK. |
orphan
|
2020-06-04 08:29 (UTC) |
jvlt
|
1.3.3-2 |
7 |
0.01
|
A vocabulary learning tool with quizzes using flash cards similar to the Leitner system |
orphan
|
2016-09-28 20:35 (UTC) |
juju
|
2.9.27-1 |
0 |
0.00
|
Simple, secure devops tooling built to manage today's complex applications wherever you run your software. |
orphan
|
2022-03-30 11:12 (UTC) |
joxi
|
3.0.15-2 |
12 |
0.00
|
Free tool for screen capture |
orphan
|
2021-03-18 06:37 (UTC) |
johnny-git
|
r527.c862833-5 |
11 |
0.00
|
A GUI for john (the ripper, a password audit tool) |
orphan
|
2017-09-28 04:25 (UTC) |
jnetmap
|
0.5.4-1 |
6 |
0.00
|
Graphical network monitoring and documentation tool |
orphan
|
2015-12-01 19:48 (UTC) |
jmt
|
1.0.4-1 |
0 |
0.00
|
Java Modelling Tools (JMT) is a comprehensive framework for performance evaluation, system modeling with analytical and simulation techniques, capacity planning and workload characterization studies. |
orphan
|
2020-02-10 21:03 (UTC) |
jjbmc
|
1.0-1 |
0 |
0.00
|
Java Software Verification Tool |
orphan
|
2021-03-26 20:23 (UTC) |
jenv-git
|
0.5.4.r2.9bbc5eb-1 |
1 |
0.00
|
A command line tool to manage your Java environment |
orphan
|
2021-06-06 14:20 (UTC) |
jalgo
|
1:0.0.1-1 |
3 |
0.00
|
Algorithm visualization tool written in Java developed at TU Dresden |
orphan
|
2022-10-20 09:36 (UTC) |
iwscanner
|
0.2.4-6 |
22 |
0.00
|
Wireless scanner with an easy to use graphic interface and using the iwlist tool |
orphan
|
2020-07-03 11:11 (UTC) |
itext-rups-bin
|
7.2.1-1 |
0 |
0.00
|
iText RUPS is a tool to view PDF structure in a Swing GUI. |
orphan
|
2022-01-18 15:18 (UTC) |
isight-firmware-tools
|
1.6-1 |
20 |
0.02
|
Tools to manipulate firmware for Built-in iSight found on Apple machines |
orphan
|
2023-10-21 16:45 (UTC) |
iscdcommons-git
|
20210723.r39-4 |
0 |
0.00
|
Common library for ISCD tools, e.g. elastic |
orphan
|
2021-11-28 13:56 (UTC) |
ipwndfu-linushenze-git
|
1-1 |
0 |
0.00
|
Open-source jailbreaking tool for many iOS devices |
orphan
|
2019-10-10 14:16 (UTC) |
ipv6toolkit
|
2.0-1 |
0 |
0.00
|
SI6 Networks' IPv6 Toolkit, a security assessment and troubleshooting tool |
orphan
|
2020-06-16 11:31 (UTC) |
into-cps-application-bin
|
4.0.5-3 |
0 |
0.00
|
Frontend of the INTO-CPS Tool Chain |
orphan
|
2023-03-02 11:04 (UTC) |
intelmetool-git
|
1.1.40936.447cb44696a-1 |
9 |
0.00
|
Tool for working with Intel Management Engine |
orphan
|
2021-03-15 20:58 (UTC) |
intel-thermalmonitor-git
|
v1.4.2.r515.g950d6b0-1 |
1 |
0.00
|
Intel's ThermalMonitor QT5 tool for monitoring thermald |
orphan
|
2020-10-24 01:02 (UTC) |
inspect
|
0.8.2-1 |
1 |
0.00
|
Developer tool to inspect and debug mobile web apps and websites on iOS devices |
orphan
|
2022-06-05 17:56 (UTC) |
imap-upload
|
1.2-2 |
1 |
0.00
|
Tool for uploading a local mbox file to IMAP4 server |
orphan
|
2022-07-11 14:07 (UTC) |
igvtools
|
2.13.2-1 |
2 |
0.00
|
IGV utilities for preprocessing bioinformatics data files |
orphan
|
2022-07-13 03:37 (UTC) |
ignite-cli
|
3.5.1-1 |
0 |
0.00
|
ignite cli tool for react native |
orphan
|
2020-02-10 18:39 (UTC) |
ifstat
|
1.1-1 |
1 |
0.00
|
A tool to report network interfaces bandwith just like vmstat/iostat do for other system counters |
orphan
|
2018-04-30 15:08 (UTC) |
id3tool
|
1.2a-1 |
0 |
0.00
|
Command line utility for easy manipulation of the ID3 tags present in MPEG Layer 3 audio files. |
orphan
|
2021-02-26 11:02 (UTC) |
ice
|
6.0.8.r30.g5ddfc8e-2 |
2 |
0.00
|
Tool to create Chromium/Chrome/Firefox/Vivaldi SSBs in Peppermint OS. |
orphan
|
2022-11-27 23:18 (UTC) |
i2util
|
4.3.3-1 |
1 |
0.00
|
Internet2 utility tools |
orphan
|
2021-02-13 13:36 (UTC) |
hypercube
|
1.7.0-2 |
0 |
0.00
|
Graph visualization tool |
orphan
|
2019-07-03 11:08 (UTC) |
hypatia-git
|
r27.19b2d98-1 |
0 |
0.00
|
A research helper tool that provides context and information about interesting topics. |
orphan
|
2022-07-27 18:45 (UTC) |
hypatia
|
0.1.1-1 |
1 |
0.00
|
A research helper tool that provides context and information about interesting topics. |
orphan
|
2022-07-27 18:44 (UTC) |
huaweicloud-obs-obsutil-git
|
v5.1.15.r2.45ac956-1 |
0 |
0.00
|
A command line tool for accessing and managing OBS on HUAWEI CLOUD |
orphan
|
2021-07-26 08:36 (UTC) |
huaweicloud-obs-obsfs-git
|
1.83.9ee91c6-1 |
0 |
0.00
|
A file system tool provided by Object Storage Service (OBS) for mounting OBS parallel file systems |
orphan
|
2021-07-26 06:16 (UTC) |
httraqt
|
1.4.9-1 |
17 |
0.00
|
Is the clone from WinHTTrack tool. GUI is based on Qt5 libriaries. |
orphan
|
2017-12-07 18:40 (UTC) |
httprint
|
301-3 |
0 |
0.00
|
httprint is a web server fingerprinting tool. |
orphan
|
2019-07-22 12:01 (UTC) |
httpit
|
0.5.0-1 |
1 |
0.00
|
Rapid HTTP(S) benchmark tool |
orphan
|
2022-03-13 18:34 (UTC) |
htmlhint
|
1.1.4-1 |
1 |
0.75
|
Static Code Analysis Tool for your HTML |
orphan
|
2024-03-20 14:48 (UTC) |
hoverfly-git
|
1.3.0-1 |
0 |
0.00
|
Lightweight service virtualization/API simulation tool for developers and testers |
orphan
|
2020-07-27 10:00 (UTC) |
hoverfly
|
1.3.1-1 |
0 |
0.00
|
Lightweight service virtualization/API simulation tool for developers and testers |
orphan
|
2020-11-20 12:16 (UTC) |
hidviz
|
0.1.5-1 |
4 |
0.00
|
Tool for in-depth analysis of USB HID devices communication |
orphan
|
2019-12-15 00:04 (UTC) |
hexo-deployer-with-theme-typography
|
1.2-1 |
0 |
0.00
|
Hexo deployment tool with typography theme |
orphan
|
2021-04-10 06:14 (UTC) |
herdtools7-git
|
7.52.r1322.g650450b6-1 |
0 |
0.00
|
The Herd toolsuite to deal with .cat memory models |
orphan
|
2021-12-02 12:13 (UTC) |
hdevtools
|
0.1.8.0-1 |
1 |
0.00
|
A backend for text editor plugins for Haskell |
orphan
|
2020-02-10 21:21 (UTC) |
hcxlabtool-git
|
r347.51ad69e-1 |
1 |
0.00
|
NL80211 / RTNETLINK fork of hcxdumptool |
orphan
|
2023-02-26 17:17 (UTC) |
haskell-ghc-events
|
0.17.0-1 |
1 |
0.00
|
Parses .eventlog files emitted by GHC 6.12.1 and later. Includes the ghc-events tool permitting, in particular, to dump an event log file as text. |
orphan
|
2021-10-07 02:43 (UTC) |
hashdeep
|
4.4-7 |
0 |
0.00
|
cross-platform tools to message digests for any number of files |
orphan
|
2024-03-20 14:40 (UTC) |
halberd
|
0.2.4-6 |
5 |
0.00
|
Tool to discover HTTP load balancers |
orphan
|
2018-02-15 04:18 (UTC) |