Search Results for "checker"
Sort By:
Showing 12 open source projects for "checker"
View related business solutions-
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.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
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
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. ... -
3
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. -
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. -
Patching and Endpoint Management for Under $1/EndpointSplashtop AEM gives IT teams automated patching, monitoring, and unattended remote access for Windows and macOS. No long setup, no paying extra for key features.
-
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
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. ... -
7
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. -
8
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. -
9
PHP Configuration Checker
Script for hosting requirements checking
Sometimes you need to install (or transfer) your site on to the new hosting. And it is a rare occurence that the provider can (or wants to) estimate all the requirements for your site application. Especially when your site isn't based on one of the widely known CMS. There are many things to be wary of: are all the required modules installed? Do they all have the correct versions? Is the PHP version correct and is there enough memory or not and so on. This small and smart script will help... -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
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. -
11
This library provides functionality to check a SF.net RSS feed for the latest file. My Wallpaper Changer uses this lib to check for updates.
-
12
Making Hebrew properly searchable by IR software. Right now, most work is being done in our mailing list (planning), and on our github repository (concept code, see below).
- Previous
- You're on page 1
- Next
