174 Open source projects that are alternatives of or similar to DLV

[Deprecated] Typescript-version of the IN3 client.

VATA Tree Automata Library

An advanced automatic speedrun load time remover for community verifiers.

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

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

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

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

The Java SDK for interacting with the Yoti Platform

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

Neural Network Verification Software Tool

Home of the Move programming language

Software for verifying weather forecasts

Self hosted identity verification layer with GraphQL.

Fully verified model checker for realtime systems

A Framework for Deep Neural Network Verification

Verified, concurrent, crash-safe transaction system

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

WAL enables programmable waveform analysis.

cargo-safety provides safety checks for Rust projects by finding all uses of unsafe code in dependencies.

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

Open-source Circle of 6 with improved security and privacy features. PLEASE NOTE: For the new Circulo app please visit: https://gitlab.com/circuloapp/circulo-android

A fast SAT solver

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

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

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

The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.

Customisable OTP view and Passcode view

Provides email verification on the go.

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

Kani Rust Verifier

The PHP SDK for interacting with the Yoti Platform

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

A Type-Safe, Thread-Safe-ish approach to CoreData in Swift

A Modeling and Verification Platform for SoCs using ILAs

🛡 PHP functions smarten up to throw exceptions instead of returning false or triggering errors.

SafetyDetect Sample provides many sample programs for your reference or usage.This example demonstrates how to integrate services provided by Safetydetect Kit, such as APPchecks, URLcheck, Userdetect, Wifidetect.

SyReNN: Symbolic Representations for Neural Networks

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

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

The Eldarica model checker

Main repository of the Vigor NF verification project.

TLA+ language support for Visual Studio Code

Cross-platform, generic language, Pact provider verification tool

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

Compilation and Verification of Data-Centric Languages

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

PyBullet CartPole and Quadrotor environments—with CasADi symbolic a priori dynamics—for learning-based control and RL

A multi-formalism, multi-solution model-checker centered on the language GAL

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

Steam integration for TeamSpeak 3

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

Development of the CafeOBJ interpreter

Compile-time Swift dependency injection annotations

Ruby interface to IEEE 1364-2005 Verilog VPI

Safe Exploration with MPC and Gaussian process models

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

Static checker for Java

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

VHDL-2008 Support Library

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