Unbearably fast near-real-time pure-Python runtime-static type-checker.
background code checker
Mirror of: https://codeberg.org/mfussenegger/nvim-lint An asynchronous linter plugin for Neovim complementary to the built-in Language Server Protocol support.
Patch-level verification for Bundler
A correct and efficient TypeScript type checker and compiler with additional experiments
Fast website link checker in Go
The most popular spellchecking library.
A custom update checker for WordPress plugins. Useful if you don't want to host your project in the official WP repository, but would still like it to support automatic updates. Despite the name, it also works with themes.
Checks which public gateways are online or not
The most opinionated Go source code linter for code audit.
IPTV checker tool for Docker && CMD, check your playlist is available
Checkers to test your internet provider for censorship.
The Nu Html Checker (vnu)
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
The conformance checker for EPUB publications
:mailbox: Cross-language temporary (disposable/throwaway) email detection library. Covers 55 734+ fake email providers.
The best NVIDIA GPU update checker for Windows power users/gamers. Fully open sourced and lightweight.
Run-time type checker for Python
Defines the Rust borrow checker.
A Spell Checker for Code!
A simple source code spell checker for code
Test your rendered HTML files to make sure they're accurate.
Free HTTP, SOCKS4 and SOCKS5 proxy lists, re-checked every hour. Plain text and JSON, sorted fastest first, with response time, exit IP, ASN and geolocation. No signup and no API key.
A powerful, all-in-one Windows maintenance toolkit built entirely in Batch & PowerShell. Designed for power users, sysadmins, and curious tinkerers – now smarter, safer, and fully offline-compatible.
An application for automated Docker container updates with a web UI
Universal VPN and MTProto/WEB proxy installer & fix - one‑click setup of Telemt, MTG, MTProtoZig etc MTProxy. Solves iOS/Android/Desktop connection issues, includes SNI checker, Panels installer and config editor. Настраиваем MTProto/WEB прокси за 1 минуту. 通用 VPN 和 MTProto 代理一键安装与修复工具,内置 SNI 检测、
Static type checker for Ruby
cwe_checker finds vulnerable patterns in binary executables
Fast proxy scraper and checker written in Rust. Collects HTTP, SOCKS4 and SOCKS5 proxies from any number of sources, verifies each one really works, and writes JSON and plain text with response time, exit IP, ASN and geolocation. Single binary for Windows, Linux, macOS and Android, with an interactive TUI.
🏆 A ranked list of awesome python developer tools and libraries. Updated weekly.
Broken link checker that crawls websites and validates links. Find broken links, dead links, and invalid URLs in websites, documentation, and local files. Perfect for SEO audits and CI/CD.
A fast linearizability checker written in Go 🔎
💬 Vite plugin that provide checks of TypeScript, ESLint, vue-tsc, Stylelint and more.
Python Type Checker / Language Server
Pluggable type-checking for Java
check links in web documents or full websites
:bug: A tool that can speed up linting of php files by running several lint processes at once.
A CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies
Simple Information Gathering Toolkit
Ruby gem & CLI to detect a project's open source license (SPDX) from LICENSE files, package manifests, and READMEs
Sets of tools to help bypass DPI
Online hash checker for Virustotal and other services
Pure Python Spell Checking http://pyspellchecker.readthedocs.io/en/latest/
IBM Equal Access Accessibility Checker contains tools to automate accessibility checking from a browser or in a continuous development/build environment
Kubernetes utility for exposing image versions in use, compared to latest available upstream, as metrics.
a powerfull tool to check tss signing status of various devices and firmwares
A Kubernetes controller to watch ingresses and create liveness alerts for your apps/microservices in UptimeRobot, StatusCake, Pingdom, etc. – [✩Star] if you're using it!
🛜 Monitor network connectivity in Kotlin Multiplatform apps
Black-box transactional safety checker based on cycle detection
McCabe complexity checker for Python
🪄 Enchanted Spell Checker
GitHub Action to publish to NPM
Silq quantum programming language type checker, compiler, and experimental interpreter.
A tool to verify that your files are in harmony with your .editorconfig
Tor Relay availability checker, for using it as a bridge in countries with censorship
APALACHE: symbolic model checker for TLA+ and Quint
Collection of suggested apps for Obtainium.
Source code spell checker for Visual Studio Code, Neovim and other LSP clients
PHP Magic Number Detector
FreeProxy: Collecting free proxies from internet. (全球海量高质量免费代理,支持爬取数十个免费代理分享源,支持自定义规则代理筛选,爬虫与数据分析必备,每日更新海量免费代理。)