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

HACL*, a formally verified cryptographic library written in F*

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

SMACK Software Verifier and Verification Toolchain

Jupyter notebooks for tutorial on the Z3 SMT solver

"SAT/SMT by example" free ebook

TLA+ language support for Visual Studio Code

Links to tools by subject

pySMT: A library for SMT formulae manipulation and solving

Automatic verification of LLVM optimizations

TLA+ language support for Visual Studio Code

Software Quality Wiki

A Proof-oriented Programming Language

Read-only mirror of the Klever Git repository

Simple Theorem Prover, an efficient SMT solver for bitvectors

Liquid Types For Haskell

SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout

Homepage Theorem Proving in Lean FAQ

Better parametric search for components available for JLC PCB assembly

ECMAScript verification with SMT solvers

Scilla - A Smart Contract Intermediate Level Language

Collection of Verification Tasks

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Update to Eustathios with a little bit of HercuLien Design Changes

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

带下划线的验证码输入框

Reference mobile app for BrightID

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

return an md5sum of a given file

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

验证码输入框，验证码，code view，iOS验证码输入

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

APALACHE: symbolic model checker for TLA+

A fast SAT solver

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

❤️ Simple UI for pincode verification

ACL2 System and Books as Maintained by the Community

The Language for Smart Legal Contracts

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

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

The Whiley Compiler (WyC)

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

Deep Blockchains - reference implementation of Plasma, Stark, SMT and more

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

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

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.

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

Collection of Eagle projects for targets, interfaces, shields and more

JavaSMT - Unified Java API for SMT solvers.

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

Temporal Logic Planning toolbox

High-assurance implementation of the Ouroboros protocol family

Symbolic execution tool

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

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

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, ...

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.

SMT Solver for Nonlinear Theories of Reals