91248 packages found. Page 1188 of 1825.

« First ‹ Previous 1 .. 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 .. 1825 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
abella 2.0.6-1 1 0.00 Interactive theorem prover mgrabovsky 2019-01-14 22:04 (UTC)
cryptoverif 2.05-1 0 0.00 Cryptographic protocol verifier in the computational model mgrabovsky 2021-11-13 16:47 (UTC)
divine 3.3.2-1 0 0.00 Explicit-state model checker mgrabovsky 2016-03-23 14:06 (UTC)
lean-bin 3.4.2-1 4 0.00 Lean Theorem Prover mgrabovsky 2019-02-01 18:28 (UTC)
lean-git 3.4.1.r4.gb13ac127f-1 4 0.00 Lean Theorem Prover mgrabovsky 2018-09-21 20:32 (UTC)
proverif 2.04-1 3 0.00 Cryptographic protocol verifier in the formal model mgrabovsky 2022-06-07 19:34 (UTC)
nagios-nrpe-plugin 4.0.3-1 16 0.00 The Nagios Server NRPE plugin (install on the monitoring machine). mgrimes 2021-01-19 14:04 (UTC)
perl-b-hooks-parser 0.21-1 1 0.00 Interface to perl's parser variables mgrimes 2021-02-04 14:04 (UTC)
perl-datetime-format-datemanip 0.04-6 0 0.00 Perl DateTime extension to convert Date::Manip dates and durations to DateTimes and vice versa. mgrimes 2021-02-04 13:41 (UTC)
perl-math-calc-units 1.07-4 6 0.00 Human-readable unit-aware calculator mgrimes 2021-03-15 15:19 (UTC)
perl-media-datetime 0.49-1 0 0.00 A simple module to extract the timestamp from media files in an flexible manner. mgrimes 2022-04-06 11:55 (UTC)
perl-monitoring-plugin 0.40-2 2 0.00 The Perl Monitoring::Plugin modules which is used to streamline writing Naemon, Nagios, Icinga or Shinken (and compatible) plugins. mgrimes 2021-02-04 13:56 (UTC)
perl-regexp-grammars 1.057-1 0 0.00 Perl/CPAN Module Regexp::Grammars - Add grammatical parsing features to Perl regexes mgrimes 2021-02-04 14:06 (UTC)
cxx2flow-gui-bin 0.1.5-1 0 0.00 GUI for cxx2flow. mgt 2022-05-02 14:08 (UTC)
enroute-git 10.0.1.r0.g539698af-1 1 0.01 Enroute Flight Navigation mgw93 2021-08-07 10:33 (UTC)
gnome-shell-theme-copernico-git v3.26.r0.gb62fc37-1 23 0.00 A flat theme for the GNOME Shell which provides a slightly more pleasant visual impression. mgyugcha 2018-02-25 21:32 (UTC)
brother-hl2270dw 2.1.0_2-5 22 0.00 Brother HL-2270DW CUPS Driver mh00h 2019-09-13 05:28 (UTC)
autopsy 4.21.0-2 81 0.13 Digital forensics platform and graphical interface to The Sleuth Kit® and other digital forensic tools mh4ckwascut 2023-10-02 21:23 (UTC)
gobuster-bin 3.6.0-1 1 0.00 A Directory/File, DNS and VHost busting tool mh4ckwascut 2023-09-02 17:18 (UTC)
phoneinfoga-bin 2.11.0-1 2 0.00 Information gathering & OSINT framework for phone numbers mh4ckwascut 2024-03-06 19:38 (UTC)
podman-desktop-bin 1.7.1-1 7 0.35 Manage Podman and other container engines from a single UI and tray mh4ckwascut 2024-02-12 22:48 (UTC)
python-apng 0.3.4-2 0 0.00 Python module to deal with APNG files mh4ckwascut 2023-01-19 23:47 (UTC)
python-spark-parser 1.8.9-1 5 0.00 An Early-Algorithm Context-free grammar Parser mh4ckwascut 2019-11-15 20:50 (UTC)
python-stegoveritas 1.10-1 0 0.00 General Steganography detection tool. mh4ckwascut 2023-09-02 17:09 (UTC)
python-unicodecsv 0.14.1-4 2 0.00 Drop-in replacement for the csv module that supports unicode strings mh4ckwascut 2022-04-15 18:25 (UTC)
python2-spark-parser 1.8.9-1 5 0.00 An Early-Algorithm Context-free grammar Parser mh4ckwascut 2019-11-15 20:50 (UTC)
recon-ng 5.1.2-2 4 0.00 A full-featured Web Reconnaissance framework written in Python mh4ckwascut 2023-11-15 20:24 (UTC)
ruby-iostruct 0.0.5-1 1 0.00 A Struct that can read/write itself from/to IO-like objects mh4ckwascut 2023-05-14 12:45 (UTC)
sleuthkit-java 4.12.1-2 8 0.04 Java bindings for The Sleuth Kit. mh4ckwascut 2023-10-02 21:15 (UTC)
wasm-tools 1.0.60-1 3 1.05 Low level tooling for WebAssembly in Rust mh4ckwascut 2024-02-12 23:17 (UTC)
wit-bindgen 0.21.0-1 0 0.00 A language binding generator for WebAssembly interface types mh4ckwascut 2024-03-07 23:14 (UTC)
zaproxy-desktop 1-2 0 0.00 Integrated penetration testing tool for finding vulnerabilities in web applications (desktop icon) mh4ckwascut 2023-04-11 17:23 (UTC)
zsteg 0.2.13-1 2 0.00 detect stegano-hidden data in PNG & BMP mh4ckwascut 2023-05-14 16:00 (UTC)
kodi-addon-pvr-freebox 20.3.2-1 1 0.00 Freebox TV + Kodi mhaquila 2023-02-02 16:11 (UTC)
ocsinventory-agent 2.10.0-1 17 0.00 Hardware and software inventory tool (client) mhaquila 2023-06-30 12:50 (UTC)
treecomp 20191106-2 1 0.00 Interactive utility to keep 2 directory trees and the files within the directories in sync mhaquila 2023-02-02 18:34 (UTC)
codequery 0.27.0-1 7 0.00 A code-understanding, code-browsing or code-search tool mhdi 2024-03-27 21:39 (UTC)
crowdsec 1.6.0-2 20 1.84 The open-source and collaborative security suite mhdi 2024-02-23 21:56 (UTC)
frogr 1.8.1-1 22 0.00 A flickr remote organizer for GNOME mhdi 2024-02-07 21:07 (UTC)
hiddify-next 1.1.1-1 1 0.87 Multi-platform proxy client based on sing-box universal proxy tool-chain mhdi 2024-03-23 13:23 (UTC)
ipget 0.10.0-1 13 0.00 wget for IPFS: retrieve files over IPFS and save them locally mhdi 2024-03-09 11:52 (UTC)
lantern-bin 7.8.3-1 18 0.00 A censorship circumvention tool that delivers fast, reliable, and secure access to the open internet mhdi 2024-03-09 10:56 (UTC)
otf-commit-mono 1.143-2 2 1.29 An anonymous and neutral programming font focused on creating a better reading experience mhdi 2024-01-21 15:15 (UTC)
otf-playfair 2.101-1 2 0.02 A general purpose open source typeface family mhdi 2024-01-28 14:17 (UTC)
parabolic 2023.12.0-1 12 0.78 Download web video and audio mhdi 2024-03-23 13:56 (UTC)
pointless 1.11.0-1 0 0.00 An endless drawing canvas desktop app made with Tauri (Rust) and React mhdi 2024-02-24 14:52 (UTC)
saber 0.21.2-1 5 0.11 The cross-platform notes app built for handwriting mhdi 2024-03-23 12:32 (UTC)
sonobus 1.7.2-1 8 0.12 An easy to use application for streaming high-quality, low-latency peer-to-peer audio mhdi 2024-02-08 14:38 (UTC)
tartube 2.5.0-1 16 0.43 A GUI front-end for youtube-dl, yt-dlp and other compatible video downloaders mhdi 2024-02-04 16:25 (UTC)
ttf-commit-mono 1.143-2 2 1.29 An anonymous and neutral programming font focused on creating a better reading experience mhdi 2024-01-21 15:15 (UTC)

91248 packages found. Page 1188 of 1825.

« First ‹ Previous 1 .. 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 .. 1825 Next › Last »