215 Open source projects that are alternatives of or similar to Fstar

Verification framework and tool for higher-order Scala programs

Liquid Types For Haskell

pySMT: A library for SMT formulae manipulation and solving

"SAT/SMT by example" free ebook

Automatic verification of LLVM optimizations

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

SMACK Software Verifier and Verification Toolchain

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Simple Theorem Prover, an efficient SMT solver for bitvectors

Homepage Theorem Proving in Lean FAQ

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

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

Cogent Project

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

JavaSMT - Unified Java API for SMT solvers.

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

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

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.

A fast SAT solver

Standard Subresource Integrity library for Node.js

Verifying concurrent crash-safe systems

Collection of Verification Tasks

❤️ Simple UI for pincode verification

[DEPRECATED] Truebit Verification for Scrypt

a gesture recognition verification lock

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

Precious Plastic Downloadpack

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

TLA+ language support for Visual Studio Code

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

The Language for Smart Legal Contracts

✅❎ A lightweight image rotation verification plugin.

Temporal Logic Planning toolbox

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

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

Better parametric search for components available for JLC PCB assembly

SMT Solver for Nonlinear Theories of Reals

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

Methods to compute sets of states reachable by dynamical systems

ECMAScript verification with SMT solvers

Automatic SMS Verification with the SMS Retriever API

Software Quality Wiki

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

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

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

Update to Eustathios with a little bit of HercuLien Design Changes

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

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

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

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

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.

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

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

Enables your consumer driven contracts workflow

带下划线的验证码输入框

Open Source License Key Generation and Verification Tool written in Go

Cosette is an automated SQL solver.

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

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