218 Open source projects that are alternatives of or similar to Prusti Dev

Definition of the Viper intermediate verification language.

The VerCors verification toolset for verifying parallel and concurrent software

Provides email verification on the go.

TLA+ language support for Visual Studio Code

An advanced automatic speedrun load time remover for community verifiers.

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

Static verification tool for DNS zone files

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

The Eldarica model checker

Development of the CafeOBJ interpreter

A Modeling and Verification Platform for SoCs using ILAs

Home of the Move programming language

The Java SDK for interacting with the Yoti Platform

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

Generates files for your VIPER Architecture files.

Demo app for VIPER design pattern implementation

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

Safety Verification of Deep Neural Networks

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

Links to tools by subject

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

a cross platform hot compilation tool for golang

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

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

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

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

Fully verified model checker for realtime systems

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

laracom driven by go micro services

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

Awesome iOS guides from the community, shared on Flawless iOS Medium blog 👉

Ruby interface to IEEE 1364-2005 Verilog VPI

VHDL-2008 Support Library

Concuerror is a stateless model checking tool for Erlang programs.

Self hosted identity verification layer with GraphQL.

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

Sample Restful app with chi router (golang)

Say goodbye to the Fat ugly singleton Network Manager with this Network Layer

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

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

KreMLin is a tool for extracting low-level F* programs to readable C code

[Deprecated] Typescript-version of the IN3 client.

Helper for Log configuration, Mixin for properties with fangs

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

Neural Network Verification Software Tool

Awesome ASIC design verification

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

SeaHorn Verification Framework

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

Steam integration for TeamSpeak 3

The PHP SDK for interacting with the Yoti Platform

Web App Pen Tester (Web Interface)

Kani Rust Verifier

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

RISC-V CPU Core (RV32IM)

Package verifier provides simple defensive programing primitives.

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

A Framework for Deep Neural Network Verification