Explore Projects
Discover 107 open source projects
Showing 41-60 of 107 projects
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+, a formal specification language.
raviqqe/muffet
A fast, lightweight link checker for websites written in Go.
oxylabs/free-proxy-list
Provides a free proxy list with US IP addresses for web scraping and other projects.
FiloSottile/Heartbleed
A Go-based tool for checking if a website is vulnerable to the Heartbleed OpenSSL bug (CVE-2014-0160).
YahnisElsts/plugin-update-checker
A custom update checker for WordPress plugins that enables automatic updates outside the official WP repository.
hunspell/hunspell
A popular open-source spellchecking library for natural language processing applications.
sensiolabs/security-checker
A PHP command-line tool for checking security vulnerabilities in Composer dependencies.
validator/validator
A Java-based HTML validation and linting tool that ensures web pages follow W3C and WHATWG standards.
ruby/did_you_mean
A Ruby gem that provides spell-checking functionality to prevent typos.
zhimin-dev/iptv-checker
IPTV checker tool to validate IPTV playlists and check availability of IPTV channels.
w3c/epubcheck
A conformance checker for EPUB publications, a popular digital publishing format.
cpplint/cpplint
Static code checker for C++
kubepug/kubepug
Kubernetes PreUpGrade (Checker) - a Go-based tool to help developers manage Kubernetes upgrades.
stateright/stateright
A model checker for implementing distributed systems using the Rust programming language.
benedekrozemberczki/awesome-fraud-detection-papers
A curated list of data mining papers about fraud detection.
ElPumpo/TinyNvidiaUpdateChecker
Lightweight and open-source NVIDIA GPU update checker that provides a better alternative to GeForce Experience.
jplag/JPlag
JPlag is a state-of-the-art tool for detecting plagiarism and collusion in source code submissions.
agronholm/typeguard
A runtime type checker for Python that helps catch type-related bugs during development.
iojw/socialscan
A Python library for accurately querying username and email usage on online platforms.
dockpeek/dockpeek
Easily manage and access web interfaces for your Docker containers across multiple hosts.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.