212 Open source projects that are alternatives of or similar to Stainless

[DEPRECATED] Truebit Verification for Scrypt

a gesture recognition verification lock

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

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

APALACHE: symbolic model checker for TLA+

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

A fast SAT solver

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

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

Enables your consumer driven contracts workflow

❤️ Simple UI for pincode verification

Cosette is an automated SQL solver.

ACL2 System and Books as Maintained by the Community

the champagne of beta embedded databases

The Language for Smart Legal Contracts

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

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

CAD files for various boards, components and parts

mbed HDK - This repository is not being maintained. For the latest updates, please use: https://github.com/ARMmbed/mbed-HDK-Eagle-Projects

Fast and efficient ed25519 signing and verification in Rust.

The Whiley Compiler (WyC)

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

Safety Verification of Deep Neural Networks

Automatic program repair and patch generation system for Java based on dynamic analysis and code synthesis with SMT, developed at University of Lille and Inria, France.

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

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

Standard Subresource Integrity library for Node.js

Intrepyd Model Checker

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

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

短信验证：基于阿里云的 微信小程序 功能模块: 直接用 / mini-program + Node.js + Alibaba Cloud / Front & Back End

Concuerror is a stateless model checking tool for Erlang programs.

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

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.

Package verifier provides simple defensive programing primitives.

Laravel 2-Step verification is a package to add 2-Step user authentication to any Laravel project easily. It is configurable and customizable. It uses notifications to send the user an email with a 4-digit verification code. Laravel 2-Step Authentication Verification for Laravel. Can be used in out the box with Laravel's authentication scaffolding or integrated into other projects.

The VerCors verification toolset for verifying parallel and concurrent software

JavaSMT - Unified Java API for SMT solvers.

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

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

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

High-assurance implementation of the Ouroboros protocol family

Definition of the Viper intermediate verification language.

Symbolic execution tool

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

Vonage Server SDK for Java. API support for SMS, Voice, Text-to-Speech, Numbers, Verify (2FA) and more.

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

The Verifiably Safe Reinforcement Learning Framework

SMT Solver for Nonlinear Theories of Reals

A Modeling and Verification Platform for SoCs using ILAs

Precious Plastic Downloadpack

Methods to compute sets of states reachable by dynamical systems

Verifying concurrent crash-safe systems

A Coq-based synthesis of Scala programs which are correct-by-construction

The Flint Programming Language for Smart Contracts

Alive: Automatic LLVM's Instcombine Verifier

Samples for the Google SafetyNet Attestation API

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.