Search Results for "checker"
Sort By:
Showing 471 open source projects for "checker"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
Veeam Data Platform v13.1 - Get Your Free TrialTry Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
IPFS Public Gateway Checker
Checks which public gateways are online or not
A site displaying public IPFS gateways and their online/offline status. The list contains gateways operated by various parties, coordinated by loose mutual consensus, without a central governing authority. Protocol Labs operates and is responsible for only two of the listed gateways: ipfs.io and dweb.link. -
2
Swift Package Dependencies Checker
Catch up with outdated versions based on your package dep requirements
This action process your Package.swift file to detect outdated versions based on your package dependency requirements. Action will fail in case there are outdated dependencies. This can be suppressed by setting the input parameter failWhenOutdated to false. Then use the output parameter outdatedDependencies to know if the action detected any outdated dependencies. By setting isMutating you declare the intention to update Package.resolved (if present). Please note that the action itself does... -
3
Fork TS Checker Webpack Plugin
Webpack plugin that runs typescript type checker on a separate process
Webpack plugin that runs TypeScript type checker on a separate process. Speeds up TypeScript type checking (by moving it to a separate process). Supports modern TypeScript features like project references and incremental mode. Supports Vue Single File Component. Displays nice error messages with the code frame formatted. This plugin requires Node.js >=12.13.0+, Webpack ^5.11.0, TypeScript ^3.6.0. -
4
Rekado
Payload launcher and serial number checker for Nintendo Switch
Payload launcher is written in Kotlin for Nintendo Switch. The application doesn't require Root on your device. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
Harper
Offline, privacy-first grammar checker
Harper is an offline, privacy-first English grammar checker written primarily in Rust. It analyzes writing locally, avoiding the latency and data exposure associated with cloud-only services. The engine is designed to lint documents in milliseconds while using a small memory footprint. It can run through WebAssembly in browsers and applications or through native command-line and language-server components. -
6
Go Tools
Various packages and tools that support the Go programming language
...Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go guru and the test coverage tool, can be fetched with go get. Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. This repository uses prettier to format JS and CSS files. The version of prettier used is 1.18.2. It is encouraged that all JS and CSS code be run through this before submitting a change. However, it is not a strict requirement enforced by CI. ... -
7
Flow
A static type checker for JavaScript
Flow is a static type checker for JavaScript. It was designed to help improve code quality and developer productivity. It does this through several smart capabilities. First, it identifies problems as you code, so you no longer have to waste time guessing and checking again and again. Second, it understands your code and makes its knowledge available, allowing you to build other smart tools on top of it. -
8
WhatSie
Feature rich WhatsApp Client for Desktop Linux
Feature-rich WhatsApp web client based on Qt WebEngine for Linux Desktop. -
9
Kuberhealthy
A Kubernetes operator for running synthetic checks as pods
Kuberhealthy is a Kubernetes operator for synthetic monitoring and continuous process verification. Write your own tests in any language and Kuberhealthy will run them for you. Automatically creates metrics for Prometheus. Includes simple JSON status page. Kuberhealthy lets you continuously verify that your applications and Kubernetes clusters are working as expected. By creating a custom resource (a KuberhealthyCheck) in your cluster, you can easily enable various synthetic tests and get... -
Already Paying for an RMM? Get 50% Off Splashtop AEMAutomated OS and third-party patching for Windows and macOS, CVE prioritization with AI patch summaries, and built-in remote control that also supports Linux. Qualifying organizations switching from another RMM get up to 50% off year one.
-
10
go-critic
The most opinionated Go source code linter for code audit
...We provide as many useful checks as possible. We’re prototyping and experimenting here. When specific check implementation is mature and proven useful, propose it’s integration into other linter. If a good checker can’t find a better home, it stays here. Almost 100 diagnostics that check for bugs, performance and style issues. Extensible without re-compilation with dynamic rules. Includes #opinionated checks with very strict and specific requirements. Self-documented: gocritic doc <checkname> gives a checker description. Usage of gocritic: gocritic [sub-command] [sub-command args...] ... -
11
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. ... -
12
bacon
Background code checker
Bacon is a background code checker for Rust projects designed to stay open beside an editor while developers work. It watches source changes and automatically reruns relevant Cargo jobs. The terminal interface highlights compiler warnings, errors, and test failures without requiring repeated commands. Built-in jobs cover cargo check, Clippy, tests, documentation, and cargo-nextest. -
13
actionlint
Static checker for GitHub Actions workflow files
actionlint is a static checker for GitHub Actions workflow files. It analyzes workflow YAML to catch syntax mistakes, invalid keys, expression errors, incorrect action inputs, and workflow configuration problems before they break CI. The tool also performs strong type checks for GitHub Actions expressions, which helps detect nonexistent properties and type mismatches. -
14
corroded
Set of utilities consisting of idiomatic and safe rust utilities
corroded is a Rust project that intentionally strips away Rust’s safety guarantees and idiomatic protections, offering utilities and patterns that prioritize raw power and freedom over the usual borrow checker enforcement or strict ownership rules. Its README and community reactions suggest a mix of satire and extreme experimentation: the project makes “unsafe” Rust easier to use by removing typical compile-time checks, pushing the language toward behavior more like C for cases where developers want total control. Although controversial, the code serves as an exploration of Rust internals and unsafe constructs, and it includes utilities intended to simplify memory management and pointer manipulation without safety checks. ... -
15
ty
An extremely fast Python type checker and language server
ty is an extremely fast Python type checker and language server built in Rust, designed to provide highly responsive and accurate static analysis for modern Python development workflows. It is positioned as a next-generation alternative to tools such as mypy and Pyright, offering significantly faster performance through incremental analysis and optimized execution. The tool is designed from the ground up to power editor integrations, enabling real-time feedback as developers write code with minimal latency. ty includes advanced type system capabilities such as intersection types, improved type inference, and detailed diagnostics that help identify issues even in partially typed codebases. ... -
16
Pyright
Static type checker for Python
Pyright is a fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified. Pyright supports configuration files that provide granular control over settings. Different “execution environments” can be associated with subdirectories within a source base. Each environment can specify different module search paths, python language versions, and platform targets. -
17
GPerftools
Fast, multi-threaded malloc() and nifty performance analysis tools
GPerftools (formerly Google Performance Tools) is a collection of a high-performance multi-threaded malloc() implementation, plus some pretty nifty performance analysis tools useful for creating more robust applications. These tools can be especially useful when developing multi-threaded applications in C++ with templates. Among these tools are TCMalloc, a thread-friendly heap-checker, heap-profiler and cpu-profiler. -
18
Bottleneck Checker
Free CPU & GPU bottleneck checker - honest ranges, not fake %
Bottleneck Checker is a free, open-source tool that shows whether a CPU and GPU hold each other back - as an honest range, not a fake single percentage. Most bottleneck calculators spit out one confident-looking number no real benchmark could back up. Hardware does not work that way: the same pairing looks CPU-limited in a competitive shooter and GPU-limited in a ray-traced AAA game, and different again at 1080p versus 4K. -
19
auth
Authenticator via oauth2, direct, email and telegram
This library provides “social login” with Github, Google, Facebook, Microsoft, Twitter, Yandex, Battle.net, Apple, Patreon, and Telegram as well as custom auth providers and email verification. -
20
Luau
Fast, small, safe, gradually typed embeddable scripting language
It is designed to be backward compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with a completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a... -
21
ReVanced Manager
Redefine your apps with custom patches and premium features
ReVanced Manager is a powerful tool designed to help users patch and customize their favorite apps, including YouTube, to unlock premium features and enhance functionality. As the successor to Vanced Manager, it allows users to apply custom patches, such as ad-blocking, background playback, and theme customization, directly to supported apps. ReVanced Manager offers a streamlined, user-friendly interface to guide users through the patching process, ensuring compatibility and a hassle-free... -
22
MyPy
Optional static typing for Python
mypy is a static type checker for Python that analyzes source code without executing it, catching type errors early in development. It implements PEP 484-style type hints and supports gradual typing, allowing untyped or partially typed modules to coexist with statically typed code. The tool integrates with common editors and CI systems, and offers a daemon mode for fast, incremental checks across large codebases. -
23
Ciphey
Decrypt encryptions without knowing the key or cipher
...Ciphey uses a custom-built artificial intelligence module (AuSearch) with a Cipher Detection Interface to approximate what something is encrypted with. And then a custom-built, customizable natural language processing Language Checker Interface, which can detect when the given text becomes plaintext. -
24
x402 Checker
Check any URL for X402 Support and get X402 header data
Check any URL for X402 Support — or a bulk list — to instantly discover whether it supports the X402 HTTP payment protocol. For every X402 enabled endpoint, the actor extracts the price, currency, network, payment endpoint, and raw payment headers. -
25
Advanced-Root-Checker
Offline Android root detection. No ads. No tracking.
...Built with pure Java, no external libraries or SDKs. Licensed under GPL-3.0. Free forever. Compatible with Android 4.4+ and above. Github Project: https://github.com/Laert-Android/Advanced-Root-Checker XDA Forums Thread: https://xdaforums.com/t/advanced-root-checker-free-open-source-root-detection-app-no-ads-no-tracking-33-checks.4791052/#post-90620793 Appteka: https://appteka.store/app/618r326108
