ocaml-psmt2-frontend
|
0.2-2 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2019-11-30 18:52 (UTC) |
broken-link-checker
|
0.7.8-1 |
2 |
0.00
|
Find broken links, missing images, etc within your HTML |
carlosal1015
|
2019-11-24 13:50 (UTC) |
tarsum
|
0.1.1-2 |
0 |
0.00
|
Compute checksums from tar archives on-the-fly |
connesc
|
2019-11-21 07:59 (UTC) |
upcheck
|
0.1.3-1 |
1 |
0.00
|
Checker for ArchLinux available updates and send it via notify-rust. |
Edu4rdSHL
|
2019-11-15 00:15 (UTC) |
nodejs-cordova-check-plugins
|
4.0.5-1 |
1 |
0.00
|
A CLI tool to check for / manage plugin updates in Cordova/Phonegap projects. |
orphan
|
2019-11-05 13:28 (UTC) |
hunspell-nn
|
6.3.2.2-1 |
1 |
0.00
|
Spell checking support for Norwegian Nynorsk |
morguldir
|
2019-11-01 19:43 (UTC) |
chksum-git
|
0.1-1 |
0 |
0.00
|
Check and compare easily the checksum of a file. |
ChacaS0
|
2019-10-29 06:41 (UTC) |
ofmcgui
|
r7.efd86ae-2 |
0 |
0.00
|
A graphical interface for the Open-Source Fixed-Point Model-Checker (OFMC) |
crwxrws
|
2019-10-10 19:42 (UTC) |
ofmc-bin
|
2018-1 |
0 |
0.00
|
Open-Source Fixed-Point Model-Checker |
crwxrws
|
2019-10-10 00:50 (UTC) |
vala-lint-git
|
r73.7ee0a16-1 |
1 |
0.00
|
Check code-style of Vala code files |
btd1337
|
2019-10-08 21:04 (UTC) |
filebot47
|
4.7.9-4 |
14 |
0.00
|
[Newer but paid version exist] The ultimate tool to rename TV/anime shows, download subtitles, and validate checksums. |
orphan
|
2019-09-20 20:54 (UTC) |
pinger-indicator-git
|
r1.339b045-1 |
0 |
0.00
|
A tray indicator that checks your internet with the ping command |
lucas59356
|
2019-09-15 23:28 (UTC) |
qt-autoupdater
|
2.1.5_4-1 |
1 |
0.00
|
A Qt library to automatically check for updates and install them |
MarsSeed
|
2019-09-07 10:06 (UTC) |
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
|
2019-08-28 13:18 (UTC) |
gitg-git
|
3.30.1.r171.gd3855352-1 |
23 |
0.00
|
A GIT repository viewer based on GTK+ - git checkout |
uwueviee
|
2019-08-22 07:54 (UTC) |
editorconfig-checker-git
|
2.0.0-1 |
1 |
0.00
|
A tool to verify that your files are in harmony with your .editorconfig |
mstruebing
|
2019-08-18 17:04 (UTC) |
dreampower-checkpoints
|
0.0.1-1 |
0 |
0.00
|
Checkpoints for dreampower CLI application |
PommeDroid
|
2019-08-15 02:01 (UTC) |
python-cfn-lint-git
|
r1262.8d4f1dea-1 |
0 |
0.00
|
checks cloudformation for practices and behaviour that could potentially be improved |
jjanzic
|
2019-08-05 19:54 (UTC) |
nodejs-coffeelint
|
2.0.6-4 |
2 |
0.00
|
Style checker for CoffeeScript |
loto
|
2019-07-24 02:48 (UTC) |
cmake-lint-git
|
1.4.r3.g058c6c0-1 |
0 |
0.00
|
Check for coding style issues in CMake files |
Techmeology
|
2019-07-20 03:32 (UTC) |
mingw-w64-aspell
|
0.60.7rc1-5 |
1 |
0.00
|
A spell checker designed to eventually replace Ispell (mingw-w64) |
orphan
|
2019-07-06 02:25 (UTC) |
dcc
|
2.3.167-1 |
10 |
0.00
|
Distributed Checksum Clearinghouse spam tool |
orphan
|
2019-07-03 23:21 (UTC) |
cameramonitor-quiet-git
|
r4.cfcb3aa-1 |
0 |
0.00
|
A little monitor to check if your Webcam is On. |
YanDoroshenko
|
2019-07-02 10:58 (UTC) |
firefox-thunderbird-spell-ru-en-unified
|
1.0.3.1webext-1 |
0 |
0.00
|
firefox and thunderbird Rus+Eng unified spellcheck/dictionary (no switching). Thunderbird is just a symlink. |
vasya
|
2019-07-01 13:56 (UTC) |
omplapp
|
1.4.2-4 |
1 |
0.00
|
The Open Motion Planning Library App (OMPL.app) is an extended version of OMPL that adds support for mesh loading and collision checking along with a GUI |
orphan
|
2019-06-30 21:50 (UTC) |
auru-git
|
r2.855ffb5-1 |
3 |
0.00
|
AUR Utility - Check foreign packages (typically installed w/ pacman -U) for available updates in AUR and upstream websites |
semeion
|
2019-06-26 10:47 (UTC) |
check_systemd_status
|
2-1 |
1 |
0.00
|
Script to check current system state as perceived by systemd |
kbabioch
|
2019-06-22 23:41 (UTC) |
system-storage-manager-git
|
1.4.r1.39278a5-1 |
5 |
0.00
|
System Storage Manager (ssm) provides easy to use command line interface to manage your storage using various technologies like lvm, btrfs, encrypted volumes and possibly more - git checkout |
zopper
|
2019-06-13 13:01 (UTC) |
check-sieve-git
|
20190514.8fe4f97-1 |
0 |
0.00
|
Syntax checker for mail sieves. |
GeoffreyFrogeye
|
2019-06-05 20:25 (UTC) |
streamstatus
|
0.8.0-1 |
0 |
0.00
|
cli tool to check if your favorite twitch streamers are online. |
aps42
|
2019-06-01 20:57 (UTC) |
monitoring-plugins-qnap
|
1.40-2 |
0 |
0.00
|
This plugin sends SNMP queries to a QNAP NAS and checks the cpu, HDD status, system temperature, HDD temperature |
awacha
|
2019-05-30 08:11 (UTC) |
losslessaudiochecker
|
2.0.5-3 |
10 |
0.01
|
A utility to check whether a WAVE or FLAC file is truly lossless or not. |
sauyon
|
2019-05-24 00:16 (UTC) |
ridl
|
r39.508d549-1 |
2 |
0.00
|
A tool to check whether your system is affected by Micro-architectural Data Sampling and other attacks |
wget
|
2019-05-20 14:57 (UTC) |
autotidy-git
|
43.d77d67b-1 |
0 |
0.00
|
Speedier handling of clang-tidy checking |
orphan
|
2019-05-17 18:53 (UTC) |
lua51-luacheck
|
0.23.0-2 |
6 |
0.00
|
A simple static analyzer |
SolarAquarion
|
2019-05-09 16:51 (UTC) |
emacs-company-mode-git
|
0.9.10.r1.gad6ff0e-1 |
1 |
0.00
|
Modular in-buffer completion framework for Emacs - git checkout |
hamki
|
2019-05-04 16:10 (UTC) |
mkinitcpio-chkcryptoboot
|
0.0.6-1 |
10 |
0.00
|
This hook checks for a modified bootloader code, in an encrypted boot setup, and warns the user to not enter his root device password |
grazzolini
|
2019-04-30 01:23 (UTC) |
cargo-update-git
|
v1.7.0.r5.8d758b004-1 |
2 |
0.00
|
A cargo subcommand for checking and applying updates to installed executables |
Qyriad
|
2019-04-26 23:31 (UTC) |
perl-dist-zilla-plugin-test-perl-critic
|
3.001-1 |
0 |
0.00
|
Tests to check your code against best practices |
cpanbot
|
2019-04-01 20:54 (UTC) |
checkrun.sh-git
|
20190327-1 |
0 |
0.00
|
Cron-style mailing wrapper for systemd .timer units |
orphan
|
2019-03-27 14:12 (UTC) |
check-pacman-mtree
|
0.8-3 |
3 |
0.00
|
pacman db mtree check size/md5/sha256/symlink |
999cgm
|
2019-03-26 07:43 (UTC) |
normez
|
r161.574a98a-1 |
1 |
0.00
|
Coding-style checker for Epitech students. |
Hapique
|
2019-03-10 17:58 (UTC) |
jpf-core-git
|
jpf.8.0.r67.ge734381-1 |
0 |
0.00
|
Explicit state software model checker for Java bytecode |
lostkhaos
|
2019-03-08 14:16 (UTC) |
perl-test-pod-spelling-commonmistakes
|
1.001-1 |
0 |
0.00
|
Checks Pod for common spelling mistakes. |
goeb
|
2019-02-27 14:53 (UTC) |
nutty
|
1.1.1-1 |
6 |
0.00
|
A network utility for linux. Monitor the devices on your network and check bandwidth and speed details. |
nicoulaj
|
2019-02-21 08:30 (UTC) |
cbmc-git
|
5.11.r1339.gabbb38942-1 |
1 |
0.00
|
Bounded Model Checking for ANSI-C |
PythonShell
|
2019-02-11 07:28 (UTC) |
cbmc-bin
|
5.11-1 |
1 |
0.00
|
Bounded Model Checking for ANSI-C |
PythonShell
|
2019-02-10 12:13 (UTC) |
chromium-extension-ban-checker-for-steam
|
1.2.2.1-1 |
0 |
0.00
|
Chrome/Chromium extension for Ban-Checker-for-Steam |
zacjor
|
2019-02-06 01:54 (UTC) |
chromium-extension-ban-checker-for-steam-git
|
r93.1472a44-1 |
0 |
0.00
|
Chrome/Chromium extension for Ban-Checker-for-Steam - git/dev |
zacjor
|
2019-02-05 05:01 (UTC) |
vdr-sc
|
r9.75b4379-3 |
1 |
0.00
|
Software CAM emulation. If compilation fails with FAILED COMPARISON OF PACKET please check README.FFdecsa and set appropiate PARALLEL parameter in Makefile.patch |
knedlyk
|
2019-02-02 00:08 (UTC) |