325 Open source projects that are alternatives of or similar to Verifier

Fingerprint is a simple tool that can be used to verify the contents of a directory.

VHDL-2008 Support Library

Simple layout to show custom error toast with animation

A Framework for Deep Neural Network Verification

The Eldarica model checker

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

A Sentry plugin to allow Sentry report interception and further inspection of the data being sent

detail rust error handle

Fully customizable UI Component for verification codes written in swift with RxSwift support!

Automated exceptions handler for mobile (android & ios) Kotlin Multiplatform development.

A collection of common util libraries for Go

Error management

Static verification tool for DNS zone files

Robust error-handling for Kotlin and Android

File systems verification utility and library, in likeness of mtree(8)

Ruby interface to IEEE 1364-2005 Verilog VPI

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

🔥 Minimal and good enough error handling library for Clojure/ClojureScript

Flexible, general-purpose error handling for Go.

Self hosted identity verification layer with GraphQL.

The Ruby & Ruby on Rails provider for Raygun

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

This package provides convenient methods to integrate the NeverBounce API into your project.

An advanced automatic speedrun load time remover for community verifiers.

Global Apollo Server Error handling made easy. Remove verbose and repetitive resolver / data source Error handling. Automatic Error catching, logging, and conversion to ApolloErrors.

Information to reproduce results from SV-COMP (MOVED, please follow the link)

Neural Network Verification Software Tool

Definition of the Viper intermediate verification language.

Kani Rust Verifier

Awesome ASIC design verification

Android view for providing blocks (Edit Texts) to achieve verification process.

Makes Go error-handling a breeze!

The Java SDK for interacting with the Yoti Platform

A lightweight C++11-compatible error-handling mechanism

简单的滑动验证码JS插件 图片验证码

Safety Verification of Deep Neural Networks

JavaScript without `try...catch`.

💯Go Struct and Field validation, including Cross Field, Cross Struct, Map, Slice and Array diving

Nuxt module for logging SSR errors using winston

TLA+ language support for Visual Studio Code

Error-making utility for Node apps.

Bugsnag error monitoring for WordPress sites

Provides email verification on the go.

Static checker for Java

Fancy upgrade to std::error::Error.

Simple error handling primitives that work well with structured logging

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

A Modeling and Verification Platform for SoCs using ILAs

A component to display a progress bar and last X logs at the same time.

Node's domain module for the web browser

An error handling package for Go.

It makes simple create qualified errors.

PCIe (1.0a to 2.0) Virtual host model for verilog

This is a library for Google Apps Script projects. It provides methods to perform an Exponential backoff logic whenever it is needed and rewrite error objects before sending them to Stackdriver Logging.

🚒✨ Rescue: better errors through types (a more type directed MonadThrow/MonadCatch)

Extensible, Type Safe Error Handling in Haskell

Error Handling In One Line

The VerCors verification toolset for verifying parallel and concurrent software

Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.

Steam integration for TeamSpeak 3