159 Open source projects that are alternatives of or similar to munta

The Eldarica model checker

Firebase Spring Boot Rest API Authentication

A customisable verification code view to capture OTPs

Scilla - A Smart Contract Intermediate Level Language

Verify the Apple id token on the server side.

Customisable OTP view and Passcode view

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

Compilation and Verification of Data-Centric Languages

Hagelslag is an object-based severe storm hazard forecasting system.

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

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

Active Directory strategy for passport.js

Using Nim to interface with SystemVerilog test benches via DPI-C

Functional verification project for the CORE-V family of RISC-V cores.

Cross-platform, generic language, Pact provider verification tool

Verification framework and tool for higher-order Scala programs

Docker container for creating valid local ssl certificates

Automatic verification of LLVM optimizations

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

return an md5sum of a given file

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

Software Quality Wiki

A fast SAT solver

Read-only mirror of the Klever Git repository

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

TLA+ language support for Visual Studio Code

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

iOS Framework for reading and validation of identification documents

VATA Tree Automata Library

Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.

Software for verifying weather forecasts

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

A formally verified high-level synthesis tool based on CompCert and written in Coq.

Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.

generative programming & verification

The Flint Programming Language for Smart Contracts

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

Alive: Automatic LLVM's Instcombine Verifier

Fact Extraction and VERification baseline published in NAACL2018

Samples for the Google SafetyNet Attestation API

Verified, concurrent, crash-safe transaction system

The Whiley Compiler (WyC)

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

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 scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

A Proof-oriented Programming Language

This repo contains the artifact for our SOSP'19 paper on Serval

Homepage Theorem Proving in Lean FAQ

WAL enables programmable waveform analysis.

Collection of Verification Tasks

A tool for verifying links in text-based files

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

The best possible way to verify and validate an email address.

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

Continuous Integration, Verification, Enhancement, and Testing

[Deprecated] Typescript-version of the IN3 client.

SyReNN: Symbolic Representations for Neural Networks

Main repository of the Vigor NF verification project.

Build trust into your image by creating a blockchain certificate for it