188 Open source projects that are alternatives of or similar to Liquidhaskell

Simple Theorem Prover, an efficient SMT solver for bitvectors

SMACK Software Verifier and Verification Toolchain

Automatic verification of LLVM optimizations

"SAT/SMT by example" free ebook

pySMT: A library for SMT formulae manipulation and solving

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

A Proof-oriented Programming Language

Verification framework and tool for higher-order Scala programs

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

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

Safety Verification of Deep Neural Networks

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

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

Static verification tool for DNS zone files

🔒Unified API for password hashing algorithms

Static checker for Java

TLA+ language support for Visual Studio Code

A Modeling and Verification Platform for SoCs using ILAs

Steam integration for TeamSpeak 3

Enables your consumer driven contracts workflow

VUnit is a unit testing framework for VHDL/SystemVerilog

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

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

A Framework for Deep Neural Network Verification

RISC-V CPU Core (RV32IM)

The Java SDK for interacting with the Yoti Platform

Awesome ASIC design verification

Bug-free machine learning on stochastic computation graphs

An advanced SAT solver

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

Definition of the Viper intermediate verification language.

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

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

mocking library for Kotlin

Links to tools by subject

VHDL-2008 Support Library

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

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

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

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

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

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

Kani Rust Verifier

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

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

CAD files for various boards, components and parts

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

Concuerror is a stateless model checking tool for Erlang programs.

Ruby interface to IEEE 1364-2005 Verilog VPI

Open Source License Key Generation and Verification Tool written in Go

SeaHorn Verification Framework

Provides email verification on the go.

Self hosted identity verification layer with GraphQL.

Fully customizable UI Component for verification codes written in swift with RxSwift support!

Fast and efficient ed25519 signing and verification in Rust.

Package verifier provides simple defensive programing primitives.

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

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

A Go library that implements a Sparse Merkle tree for a key-value map.

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