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

Provides email verification on the go.

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

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

A tool for verifying links in text-based files

Kani Rust Verifier

Continuous Integration, Verification, Enhancement, and Testing

The PHP SDK for interacting with the Yoti Platform

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

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

iOS Framework for reading and validation of identification documents

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

Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.

A Modeling and Verification Platform for SoCs using ILAs

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

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

Gelöschte Artikel, Slices und Kategorien wiederherstellen

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.

Verification framework and tool for higher-order Scala programs

SyReNN: Symbolic Representations for Neural Networks

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

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

Automatic verification of LLVM optimizations

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

Scilla - A Smart Contract Intermediate Level Language

The Eldarica model checker

return an md5sum of a given file

Main repository of the Vigor NF verification project.

🛡️⚔️ Protect your web app from DDOS attack or the Dead Ping + CAPTCHA VERIFICATION in one line!

TLA+ language support for Visual Studio Code

Software Quality Wiki

Cross-platform, generic language, Pact provider verification tool

✅ A Go library for email verification without sending any emails.

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

🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations

Compilation and Verification of Data-Centric Languages

TLA+ language support for Visual Studio Code

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

immudb - world’s fastest immutable database, built on a zero trust model

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

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

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

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

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

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Steam integration for TeamSpeak 3

A fast SAT solver

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

❤️ Simple UI for pincode verification

Development of the CafeOBJ interpreter

The Language for Smart Legal Contracts

Compile-time Swift dependency injection annotations

A List of Free and Open Source Hardware Verification Tools and Frameworks

Ruby interface to IEEE 1364-2005 Verilog VPI

Customisable OTP view and Passcode view

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.

Yet another repo for the baxter collaboration task.