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

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

laracom driven by go micro services

Main repository of the Vigor NF verification project.

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

Cross-platform, generic language, Pact provider verification tool

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

Compilation and Verification of Data-Centric Languages

Ruby interface to IEEE 1364-2005 Verilog VPI

A fast SAT solver

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

VHDL-2008 Support Library

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

Concuerror is a stateless model checking tool for Erlang programs.

Software for verifying weather forecasts

Self hosted identity verification layer with GraphQL.

Customisable OTP view and Passcode view

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

generative programming & verification

Sample Restful app with chi router (golang)

Fact Extraction and VERification baseline published in NAACL2018

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

Firebase Spring Boot Rest API Authentication

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

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

This repo contains the artifact for our SOSP'19 paper on Serval

The Eldarica model checker

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

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

A tool for verifying links in text-based files

Helper for Log configuration, Mixin for properties with fangs

Continuous Integration, Verification, Enhancement, and Testing

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

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

Neural Network Verification Software Tool

Active Directory strategy for passport.js

Awesome ASIC design verification

Verify the Apple id token on the server side.

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

Functional verification project for the CORE-V family of RISC-V cores.

Static checker for Java

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

Android App Architecture

A customisable verification code view to capture OTPs

SeaHorn Verification Framework

Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.

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

🚀 A seamless framework for build app from MVC, MVVM, VIPER (etc.) design pattern in iOS world. (OC & Swift)

Steam integration for TeamSpeak 3

Marshroute is an iOS Library for making your Routers simple but extremely powerful

The PHP SDK for interacting with the Yoti Platform

追书神器Swift版客户端（非官方）。 不断更新中......

Web App Pen Tester (Web Interface)

[Deprecated] Typescript-version of the IN3 client.

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

Verified, concurrent, crash-safe transaction system