213 Open source projects that are alternatives of or similar to qcert

Datatype agnostic triple store & query engine API

Scilla - A Smart Contract Intermediate Level Language

Portable, Serverless & Lightweight SQLite-based Graph Database in Arturo

A file system forensics analysis scanner and threat hunting tool. Scans file systems at the MFT and OS level and stores data in SQL, SQLite or CSV. Threats and data can be probed harnessing the power and syntax of SQL.

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

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

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

Customisable OTP view and Passcode view

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

No description or website provided.

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

TLA+ language support for Visual Studio Code

Firebase Spring Boot Rest API Authentication

A customisable verification code view to capture OTPs

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

Verification framework and tool for higher-order Scala programs

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

Automatic verification of LLVM optimizations

A fast SAT solver

return an md5sum of a given file

Read-only mirror of the Klever Git repository

Software Quality Wiki

generative programming & verification

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

Active Directory strategy for passport.js

Verify the Apple id token on the server side.

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

Fact Extraction and VERification baseline published in NAACL2018

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

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

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Kirby's Query Language API combines the flexibility of Kirby's data structures, the power of GraphQL and the simplicity of REST.

Query mechanism for Ecto

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

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

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

The Flint Programming Language for Smart Contracts

Software for verifying weather forecasts

Alive: Automatic LLVM's Instcombine Verifier

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

Samples for the Google SafetyNet Attestation API

Automatically exposes web services over HTTP to search for Entity-related data using a powerful query language

The Whiley Compiler (WyC)

A tool for verifying links in text-based files

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 semantic and technical analysis of musical scores based on Information Retrieval Principles

A Proof-oriented Programming Language

Continuous Integration, Verification, Enhancement, and Testing

Homepage Theorem Proving in Lean FAQ

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

Collection of Verification Tasks

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

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

Clincal Quality Language Specification

Django queries

A review of the deprecated Freebase knowledge base and Metaweb Query Language (MQL). A brief comparison of MQL and GraphQL.

🍵 SPARQL-like DSL for querying in memory Linked Data Models

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

Docker container for creating valid local ssl certificates

iOS Framework for reading and validation of identification documents