193 packages found. Page 3 of 4.

« First ‹ Previous 1 2 3 4 Next › Last »

Name Version Votes Popularity? Description Maintainer
ofmcgui r7.efd86ae-2 0 0.00 A graphical interface for the Open-Source Fixed-Point Model-Checker (OFMC) crwxrws
openoffice-extension-languagetool 5.2.3-1 3 0.00 An Open Source style and grammar checker (more than 30 languages) 3ED_0
passwdqc-utils 1.3.1-1 4 0.00 pwqcheck (password strength checker) and pwqgen (random passphrase generator) from passwdqc ahphaw5S
patronus 0.1.0-1 0 0.00 Common interface for grammar checkers orphan
perl-catalystx-leakchecker 0.06-1 0 0.00 Debug memory leaks in Catalyst applications jnbek
perl-devel-callchecker 0.007-1 1 0.00 Perl Devel::CallChecker CPAN module yar
perl-pod-spelling 0.17-1 0 0.00 Send POD to a spelling checker jnbek
perl-test-cchecker 0.08-1 0 0.00 Test::CChecker - Test-time utilities for checking C headers, libraries, or OS features (DEPRECATED) dracorp
php-security-checker 6.0.3-1 2 0.00 PHP frontend for security.sensiolabs.org sanduhrs
php-semver-checker 0.7.0-1 2 0.00 Compares two source sets and determines the appropriate semantic versioning to apply. bgaleotti
playbox 1.8.0-1 1 0.00 A growing collection of board games. Theredbaron1834
prismmodelchecker-git r3619.06bba360-1 0 0.00 PRISM is a probabilistic model checker, a tool for formal modelling and analysis of systems that exhibit random or probabilistic behaviour s14h
prob 1.9.3-3 0 0.00 ProB Animator and Model Checker Jrnr601
pug-lint 2.5.0-1 0 0.00 An unopinionated and configurable linter and style checker for Pug (formerly Jade) nemaniarjun
pychecker 0.8.19-6 0 0.00 Python code checker orphan
pydefrag-bzr 122-4 5 0.00 The defragmenter is written using a simple combination of filefrag (a readily available fragmentation checker for Linux) and atomic copy. Inspired by Gentoo's fragcheck.pl and Con Kolivas's defrag script. (pfbh branch) 3ED_0
pyright-git 1.1.82.r6.ga50a5358-1 0 0.00 Static type checker for Python sainnhe
python-doc8 0.8.0-1 0 0.00 Style checker for Sphinx (or other) RST documentation Misery
python-flake8-assertive 1.3.0-1 0 0.00 Flake8 unittest assert method checker NeodarZ
python-mailchecker 4.0.7-2 0 0.00 Definition and optimized evaluation of mathematical expressions on Numpy arrays. SZanko
python-msgcheck 3.1-1 0 0.00 Gettext file checker. jose1711
python-pep257 0.7.0-1 0 0.00 Python docstring style checker BigfootACA
python-pyspellchecker 0.6.2-1 0 0.00 Pure python spell checker based on work by Peter Norvig tyrannis.hawk
python-typepy 1.1.2-1 1 0.00 Variable run time type checker/validator/converter mrjackv
python2-doc8 0.8.0-1 0 0.00 Style checker for Sphinx (or other) RST documentation Misery
python2-mccabe 0.6.1-5 0 0.00 McCabe complexity checker for Python FrederickZh
python2-pep257 0.7.0-1 0 0.00 Python docstring style checker BigfootACA
python2-pif 0.7.3-1 5 0.00 Public IP address checker orphan
python2-yapf 0.28.0-1 0 0.00 Python style guide checker orphan
qcheckgmail 1.3.0-1 0 0.00 Qt/C++ multiple gmail account checker FredBezies
r-hunspell 3.0.1-1 0 0.00 High-Performance Stemmer, Tokenizer, and Spell Checker dviktor
reboot-checker 1.0-1 0 0.00 Script determining if a reboot of the system is required daersc
redpen 1.10.4-2 3 0.00 A document checker. RedPen is a proofreading tool to help writers or programmers. karronoli
ros-indigo-camera-calibration 1.12.16-1 2 0.00 ROS - camera_calibration allows easy calibration of monocular or stereo cameras using a checkerboard calibration target. orphan
ros-jade-camera-calibration 1.12.16-1 2 0.00 ROS - camera_calibration allows easy calibration of monocular or stereo cameras using a checkerboard calibration target. orphan
ros-kinetic-camera-calibration 1.12.19-1 1 0.00 ROS - camera_calibration allows easy calibration of monocular or stereo cameras using a checkerboard calibration target. orphan
ros-lunar-camera-calibration 1.12.21-1 0 0.00 ROS - camera_calibration allows easy calibration of monocular or stereo cameras using a checkerboard calibration target. racko
ros-melodic-camera-calibration 1.15.0-2 0 0.00 ROS - camera_calibration allows easy calibration of monocular or stereo cameras using a checkerboard calibration target. bionade24
ros-noetic-camera-calibration 1.15.3-1 0 0.00 ROS - camera_calibration allows easy calibration of monocular or stereo cameras using a checkerboard calibration target. AchmadFathoni
rumur 2020.12.20-1 0 0.00 Yet another Murphi model checker wangqr
rumur-git 2019.12.22.r0.ga1b6d61-1 0 0.00 Yet another Murphi model checker wangqr
sfcmilter-acme 2.01-1 0 0.00 Sender forgery checker mail filter module, by ACME Labs svvac
srcry-git master-1 0 0.00 A simple but very fast recursive source code spell checker made in C superboringdev
stormchecker 1.3.0-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h
stormchecker-git 1.3.0.r380.g28f8c9d82-1 0 0.00 Storm is a tool for the analysis of systems involving random or probabilistic phenomena s14h
tomlcheck-bin 0.1.0.38-1 0 0.00 A syntax checker for TOML files ryancragun
torch7-argcheck-git r131.3cab0ae-1 1 0.00 A powerful (and blazing fast) argument checker and function overloading system for Lua or LuaJIT orphan
torrentcheck 1.00-4 11 0.00 Command line torrent viewer and hash checker khampf
tsschecker-git r244.0f19839-1 0 0.00 a powerfull tool to check tss signing status of various [Apple] devices and firmwares intelfx
upcheck 0.1.3-1 1 0.00 Checker for ArchLinux available updates and send it via notify-rust. Edu4rdSHL

193 packages found. Page 3 of 4.

« First ‹ Previous 1 2 3 4 Next › Last »