Search Results for "checker"
Sort By:
63 projects for "checker" with 2 filters applied:
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
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. -
2
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. -
3
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. ... -
4
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. -
$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.
-
5
GraalPy
A Python 3 implementation built on GraalVM
GraalPy is a high-performance implementation of the Python language for the JVM built on GraalVM. GraalPy is a Python 3.11 compliant runtime. It has first-class support for embedding in Java and can turn Python applications into fast, standalone binaries. GraalPy is ready for production running pure Python code and has experimental support for many popular native extension modules. -
6
tinyhttp
0-legacy, tiny & fast web framework
...All middleware that was created for Express, works flawlessly with tinyhttp, including typings. Unlike Express, tinyhttp supports async / await for routes. There are proper typings for async handlers, and a function checker inside tinyhttp to resolve async functions and execute sync ones. To say shorter, both sync and async work fine. -
7
ts-blank-space
A small, fast, pure JavaScript type-stripper
ts-blank-space is a fast type-stripping compiler that converts TypeScript to JavaScript. It supports a modern subset of TypeScript by erasing the types and replacing them with whitespace. That's it. It is not a type checker and does not perform any other code transformations. The underlying technique can improve build performance and simplify development. The implementation is pure TypeScript. It is simple enough to read and understand in a few minutes because it is only 700 lines of code and reuses the original TypeScript parser. The core idea is to use spaces as a substitute for type annotations. ... -
8
-
9
tlaplus
TLC is an explicit state model checker for specifications in TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. -
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.
-
10
url-checker-php-sdk
Official PHP SDK for the EmailVeritas URL Checker API
...Features: • Real-time phishing detection • URL Lookup and URL Scan endpoints • WHOIS, redirect, and metadata analysis • Native PHP (cURL) implementation • Composer integration • MIT License Homepage: https://www.emailveritas.com/url-checker Repository: https://github.com/Email-Veritas/url-checker-php-sdk -
11
email-checker-php-sdk
PHP SDK to connect with Easy Email Verification API and validate email
The Email Checker PHP SDK is part of the Easy Email Verification - URL Checker ecosystem, designed to help developers integrate real-time email verification into their PHP applications. It uses the Easy Email Verification API to validate if an email address is real, active, and safe to use. The SDK performs domain and MX record checks, SMTP validation, and detection of disposable or role-based addresses. -
12
dktools - Dirk Krauses tools
Drawing, graphics conversion, software development, administration.
GUI and command line tools for advanced users and administrators: wxdkdraw - Minimalistic drawing application for use with LaTeX, wxd2lat - Convert wxdkdraw files to LaTeX, bitmap2pp - Convert PNG/JPEG/TIFF/NetPBM to (E)PS or PDF, fig2lat - Convert XFig files to LaTeX, htmlbook - publish HTML like a book, dkcpre - C debugging and tracing preprocessor, itadmin - manage your IT using a MySQL/MariaDB database, dk-fic - file integrity checker, dk-ls - list files, output column order is configurable, dk-cat, dk-sort, dk-lines - text tools for *x and Windows, dk-send, dk-recv - transmit data stream, dk-t2h, dk-t2l - text to HTML or LaTeX conversion. -
13
plugfy
Java byte code compatibility analyser
Plugfy checks whether all dependencies of an extension are met. It pays special attention to method signatures and can detect incompatible byte code changes even if they are compatible at the source code level. -
14
texgen.js
JavaScript Texture Generator
texgen.js is a compact JavaScript library for generating procedural textures directly in the browser. It exposes a set of composable operations—noise, gradients, patterns, transforms, blends—that you can stack to create complex materials without image files. The API is deliberately fluent, letting you chain nodes to define a pipeline and then render to a canvas or WebGL texture. This approach is ideal for games, demos, and creative coding where small footprint and dynamic variation matter... -
15
chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.
-
16
LibreGrammar (LanguageTool fork)
Free and open-source style and grammar editor
This is a free and open-source style and grammar checker forked from Languagetool. This project intends to be a full-blown software editor for French, English, German, Spanish, Portuguese and many other languages that enhances LanguageTool with extended rules — with emphasis on style rules —, and enables many rules disabled by default on LanguageTool project. Other changes include lower reliance on online mechanisms and extra languages. --- Este é um verificador de gramática e estilo gratuito e de código-fonte aberto, bifurcado do Languagetool. ... -
17
JOrtho is a spell checker for Java. The library works with any JTextComponent from the swing framework. The dictionary is based on the free Wiktionary.org and applicable for multiple languages. You can select the spellchecking language via context menu.
-
18
Hunspell is a spell checker and morphological analyzer library and program designed for languages with rich morphology and complex compounding or character encoding. Hunspell interfaces: Curses, Ispell compatible pipe interface, OpenOffice.org UNO module
-
19
Checkclipse is a plugin which integrates the Checkstyle style checker for Coding Guidelines into Eclipse. All Java style violations will be immediately reported by error markers. Coding Guidelines can be configured for each project separately.
-
20
sitecheck
Modular web site spider for web developers.
More than just a link checker, sitecheck is a website spider (also known as a crawler) which can assist with SEO by testing an entire site plus both inbound links from search engines and outbound links to other sites for the following issues: looping redirects (HTTP 301/302), broken links (HTTP 404), server errors (HTTP 500), spelling mistakes, low readability scores (using the Flesch Reading Ease test), missing/empty/duplicate meta tags, duplicate content, slow page speed, W3C validation errors and accessibility errors. ... -
21
Zoozle Search & Download Suchmaschine
Zoozle 2008 - 2010 Webpage, Tools and SQL Files
Download search engine and directory with Rapidshare and Torrent - zoozle Download Suchmaschine All The files that run the World Leading German Download Search Engine in 2010 with 500 000 unique visitors a day - all the tools you need to set up a clone. Code Contains: - PHP Files for zoozle - Perl Crawler for gathering new content to database and all other cool tools i have... -
22
Voikko
Library of linguistic tools
Voikko is a spell checking, grammar checking, morphological analysis and hyphenation system. Spell checkers are available for multiple languages, other features for Finnish only. -
23
BeanEqualsChecker
Java library can be used in JUnit testcases for beans coverage
...Suitable for check methods: "equals", "hashCode", getters and setters. Similar with "https://sourceforge.net/projects/meanbean". Base usage: BeanEqualsChecker checker = new BeanEqualsChecker(); checker.testEquals(MineBean.class); For constructor with parameters, factory can be used: checker.testEquals(MineBeanWithConstructor.class, new EqualBeanFactory<MineBeanWithConstructor>() { @Override public MineBeanWithConstructor create() { return new MineBeanWithConstructor(1,""); } }); Custom validators, primitive generators can be added "BeanEqualsConfiguration". ... -
24
oozie-workflow-checker
Validation of complex Apache Oozie Hadoop workflow
Library validated complex Oozie workflows (http://oozie.apache.org/). Two usage scenarios: 1) Execute workflow with specified parameters, and as result get list of passed nodes. Sample in WorkflowDirProcessorIntegrationTest Note: from all workflow functions only "wf:conf" is supported now. 2) Check called actions exists or build full call tree in xml format Sample in OozieWorkflowCheckerTest: You can override properties from "config-default.xml" and "job.properties" by file... -
25
cparser is a library containing a parser, lexer and semantic analysis for the ISO C99 language. It should be used as a compiler frontend, a base for source-source transformation, or source-checker tools.
