205 Open source projects that are alternatives of or similar to Reachabilityanalysis.jl

Temporal Logic Planning toolbox

Fast and efficient ed25519 signing and verification in Rust.

Package verifier provides simple defensive programing primitives.

Python tools for analyzing the robustness properties of neural networks (NNs) from MIT ACL

RISC-V CPU Core (RV32IM)

An advanced SAT solver

Solution of Lyapunov, Sylvester and Riccati matrix equations using Julia

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

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

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

Safety Verification of Deep Neural Networks

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

Open Source License Key Generation and Verification Tool written in Go

Links to tools by subject

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

Robust and optimal design and analysis of linear control systems

VUnit is a unit testing framework for VHDL/SystemVerilog

Awesome ASIC design verification

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

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

Bug-free machine learning on stochastic computation graphs

Static verification tool for DNS zone files

Puppet Systems Infrastructure Construction Kit: The control-repo

Simple Theorem Prover, an efficient SMT solver for bitvectors

Player/Stage SLAM

Static checker for Java

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

Enables your consumer driven contracts workflow

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

Liquid Types For Haskell

Concuerror is a stateless model checking tool for Erlang programs.

Cosette is an automated SQL solver.

SeaHorn Verification Framework

[DEPRECATED] Truebit Verification for Scrypt

A Control Systems Toolbox for Julia

🔒Unified API for password hashing algorithms

A simple library to deploy Keras neural networks in pure C for realtime applications

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

The VerCors verification toolset for verifying parallel and concurrent software

mocking library for Kotlin

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

Verifying concurrent crash-safe systems

All course materials, build systems, etc. for the graduate Real-Time Embedded Systems Course, Spring 2017

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

Director is a facility scale broadcast orchestration and control suite. Not actively maintained

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

Definition of the Viper intermediate verification language.

pySMT: A library for SMT formulae manipulation and solving

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

a gesture recognition verification lock

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

MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.

TLA+ language support for Visual Studio Code

Provides situational awareness of Industrial Control Systems (ICS) and Supervisory Control and Data Acquisition (SCADA) networks in support of network security assessments. #nsacyber

A Modeling and Verification Platform for SoCs using ILAs

"SAT/SMT by example" free ebook

Metapackage to control the edrone via services and topics -https://www.youtube.com/watch?v=M-RYyMyRl9g

Automatic SMS Verification with the SMS Retriever API

✅❎ A lightweight image rotation verification plugin.

The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control