157 Open source projects that are alternatives of or similar to Cogent

Bug-free machine learning on stochastic computation graphs

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

a gesture recognition verification lock

VUnit is a unit testing framework for VHDL/SystemVerilog

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

Verifying concurrent crash-safe systems

"SAT/SMT by example" free ebook

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

SeaHorn Verification Framework

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

An advanced SAT solver

Static verification tool for DNS zone files

Standard Subresource Integrity library for Node.js

Fast and efficient ed25519 signing and verification in Rust.

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

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

[DEPRECATED] Truebit Verification for Scrypt

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

❤️ Simple UI for pincode verification

Concuerror is a stateless model checking tool for Erlang programs.

Liquid Types For Haskell

The VerCors verification toolset for verifying parallel and concurrent software

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

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

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

Cosette is an automated SQL solver.

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.

🔒Unified API for password hashing algorithms

带下划线的验证码输入框

mocking library for Kotlin

Methods to compute sets of states reachable by dynamical systems

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

ECMAScript verification with SMT solvers

pySMT: A library for SMT formulae manipulation and solving

Automatic SMS Verification with the SMS Retriever API

Simple Theorem Prover, an efficient SMT solver for bitvectors

Reference mobile app for BrightID

SMACK Software Verifier and Verification Toolchain

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

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

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

RISC-V CPU Core (RV32IM)

✅❎ A lightweight image rotation verification plugin.

Links to tools by subject

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

Package verifier provides simple defensive programing primitives.

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

Awesome ASIC design verification

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

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

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

Definition of the Viper intermediate verification language.

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

Enables your consumer driven contracts workflow

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

A fast SAT solver

The Language for Smart Legal Contracts

Temporal Logic Planning toolbox

Open Source License Key Generation and Verification Tool written in Go