187 Open source projects that are alternatives of or similar to Scrypt Interactive

This is a nice and simple wrapper in Go over the scrypt password based key derivation algorithm.

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

pySMT: A library for SMT formulae manipulation and solving

Package verifier provides simple defensive programing primitives.

A Framework for Deep Neural Network Verification

Fast and efficient ed25519 signing and verification in Rust.

more than 80 gpl3+ licensed guile scheme libraries

Next-gen crypto currency mining pool software

Steam integration for TeamSpeak 3

SMACK Software Verifier and Verification Toolchain

Links to tools by subject

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

VUnit is a unit testing framework for VHDL/SystemVerilog

Awesome ASIC design verification

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

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

Bug-free machine learning on stochastic computation graphs

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

✉️ ✅ A Fast and Free Email Verification API written in Go

Static checker for Java

Simple Theorem Prover, an efficient SMT solver for bitvectors

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

Open Source License Key Generation and Verification Tool written in Go

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

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

Concuerror is a stateless model checking tool for Erlang programs.

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

🔒Unified API for password hashing algorithms

SeaHorn Verification Framework

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

The VerCors verification toolset for verifying parallel and concurrent software

mocking library for Kotlin

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

Liquid Types For Haskell

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

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Definition of the Viper intermediate verification language.

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Static verification tool for DNS zone files

A secure and easy-to-use CLI password manager for macOS and Linux

Safety Verification of Deep Neural Networks

a gesture recognition verification lock

TLA+ language support for Visual Studio Code

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

A Modeling and Verification Platform for SoCs using ILAs

Enables your consumer driven contracts workflow

Marscoin source tree

"SAT/SMT by example" free ebook

Kani Rust Verifier

⏰ 纯 JavaScript 实现的针对 React Native App 的倒计时组件。

A C# port of the TripleSec encryption scheme created by Chris Coyne, Maxwell Krohn, and Filippo Valsorda

A static verifier for Rust, based on the Viper verification infrastructure.

The Java SDK for interacting with the Yoti Platform

Cosette is an automated SQL solver.

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

The Mobile Application Security Verification Standard (MASVS) is a standard for mobile app security.

✅❎ A lightweight image rotation verification plugin.

A simple, secure and modern encryption tool (and Rust library) with small explicit keys, no config options, and UNIX-style composability.

An advanced SAT solver

RISC-V CPU Core (RV32IM)