218 Open source projects that are alternatives of or similar to awesome-dv

The Java SDK for interacting with the Yoti Platform

An Implementation of CAdES, XAdES, PAdES and ASiC for Windows in C++

FPGA CryptoNight V7 Minner

SyReNN: Symbolic Representations for Neural Networks

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

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

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

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

VHDL-2008 Support Library

Main repository of the Vigor NF verification project.

Cross-platform, generic language, Pact provider verification tool

Self hosted identity verification layer with GraphQL.

Hive OS client for ASICs

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

Compilation and Verification of Data-Centric Languages

HW Design: A Functional Approach

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

The PULP Ara is a 64-bit Vector Unit, compatible with the RISC-V Vector Extension Version 0.10, working as a coprocessor to CORE-V's CVA6 core

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

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

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

Safety Verification of Deep Neural Networks

Software for verifying weather forecasts

A framework for implementing and certifying impure computations in Coq

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

A cryptographic library in SPARK 2014

Docker container for creating valid local ssl certificates

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

Fact Extraction and VERification baseline published in NAACL2018

Qwertycoin is a decentralized peer-to-peer protocol for safe payments worldwide.

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

The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

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

Mining Pools Made Easy. ⛏ 📦 🏆

Development of the CafeOBJ interpreter

Fully proved small C functions (examples for verification course).

VHDL/Verilog/SystemC code generator, simulator API written in python/c++

A tool for verifying links in text-based files

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

Kani Rust Verifier

Continuous Integration, Verification, Enhancement, and Testing

Home of the Move programming language

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

Definition of the Viper intermediate verification language.

Active Directory strategy for passport.js

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

Verify the Apple id token on the server side.

OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen, Fault and custom methodology scripts for design exploration and optimization.

Fully verified model checker for realtime systems

A curated list of awesome open source hardware design tools

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

The Verifiably Safe Reinforcement Learning Framework

Berkeley's Spatial Array Generator

Network on Chip Implementation written in SytemVerilog

Import and export IP-XACT XML register models

[Deprecated] Typescript-version of the IN3 client.

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

Video Game custom chips reverse-engineered from silicon

Static verification tool for DNS zone files