218 Open source projects that are alternatives of or similar to silver

The VerCors verification toolset for verifying parallel and concurrent software

A static verifier for Rust, based on the Viper verification infrastructure.

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

SwiftVIPER is an sample iOS App written in Swift using the VIPER architecture. Also SwiftVIPER is not a strict VIPER architecture.

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Verify code input. You can create a verify code input.

Generates files for your VIPER Architecture files.

Goscription is skeleton project with simple design & clean code with Go

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

VATA Tree Automata Library

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

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

Development of the CafeOBJ interpreter

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

Home of the Move programming language

A Modeling and Verification Platform for SoCs using ILAs

Fully verified model checker for realtime systems

Provides email verification on the go.

Verified, concurrent, crash-safe transaction system

TLA+ language support for Visual Studio Code

WAL enables programmable waveform analysis.

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

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

A Framework for Deep Neural Network Verification

The best possible way to verify and validate an email address.

An advanced automatic speedrun load time remover for community verifiers.

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Neural Network Verification Software Tool

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

An NPM package to generate captcha images that can be used in Discord bots or various other projects

Static checker for Java

Android App Architecture

Ruby interface to IEEE 1364-2005 Verilog VPI

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

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

The PHP SDK for interacting with the Yoti Platform

VHDL-2008 Support Library

[Deprecated] Typescript-version of the IN3 client.

Steam integration for TeamSpeak 3

個人多年來學習與實作上的心得筆記

Self hosted identity verification layer with GraphQL.

SyReNN: Symbolic Representations for Neural Networks

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

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

Sample Restful app with chi router (golang)

Main repository of the Vigor NF verification project.

Kani Rust Verifier

Cross-platform, generic language, Pact provider verification tool

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Compilation and Verification of Data-Centric Languages

基于golang开源框架 gin封装的api框架

A fast SAT solver

The Eldarica model checker

Build trust into your image by creating a blockchain certificate for it

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

Using Nim to interface with SystemVerilog test benches via DPI-C

Helper for Log configuration, Mixin for properties with fangs

Static verification tool for DNS zone files

Safety Verification of Deep Neural Networks

a cross platform hot compilation tool for golang