230 Open source projects that are alternatives of or similar to docker-mkcert

HTTPS domains for localhost. 🏠

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Software Quality Wiki

immudb - world’s fastest immutable database, built on a zero trust model

return an md5sum of a given file

Verify the Apple id token on the server side.

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

Continuous Integration, Verification, Enhancement, and Testing

Verification framework and tool for higher-order Scala programs

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

A fast SAT solver

Scilla - A Smart Contract Intermediate Level Language

`npm/npx/npm link` on steroids.

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

A tool for verifying links in text-based files

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

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

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

CMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.

This plugin provides native SSL instrumentation for monitoring, including: hostname and chain verification, cert expiry, and Qualys SSL Labs reporting

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

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

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

❤️ Simple UI for pincode verification

The Language for Smart Legal Contracts

Samples for the Google SafetyNet Attestation API

Tools for distributing ssl certificates

The Whiley Compiler (WyC)

Safely develop and test on any Kubernetes cluster without affecting others.

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.

iOS Framework for reading and validation of identification documents

A Proof-oriented Programming Language

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

Homepage Theorem Proving in Lean FAQ

ASK Toolkit is an extension for Visual Studio Code (VSC) that that makes it easier for developers to develop and deploy Alexa Skills.

Collection of Verification Tasks

Read-only mirror of the Klever Git repository

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

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

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

Fact Extraction and VERification baseline published in NAACL2018

A customisable verification code view to capture OTPs

OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...

No description or website provided.

Cogent Project

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

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

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

ECMAScript verification with SMT solvers

The Flint Programming Language for Smart Contracts

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

CryptoNice is both a command line tool and library which provides the ability to scan and report on the configuration of SSL/TLS for your internet or internal facing web services. Built using the sslyze API and ssl, http-client and dns libraries, cryptonice collects data on a given domain and performs a series of tests to check TLS configuration…

带下划线的验证码输入框

Alive: Automatic LLVM's Instcombine Verifier

A single container LEMP complete fullstack with latest release of PHP7.4.33, 8.0.26 & 8.1.13/8.2RC and MySQL, nginx, PostgreSQL, phalcon, swoole, mailcatcher, beanstalkd, elasticsearch, memcached, redis, adminer and all you ever need; on top alpine3.15

Firebase Spring Boot Rest API Authentication

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

Active Directory strategy for passport.js