Curated Open Source

Find Open Source Repositories for "verification"

Find and compare open-source repositories that match "verification", with project details, activity, releases, and contributors.

Top Rated High Downloads Trending Recently Updated

All A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

4 repositories found

Clear filters

databasus / databasus

PostgreSQL backup tool with Point-In-Time-Recovery and restore verification

Markdown 8,280 508 Updated 1 month ago

Database & Storage

msaad1999 / PHP-Login-System

Embeddable and Secure PHP Authentication System with Login, Signup, User Profiles, Profile Editing, Account Verification via Email, Password Reset System, Remember-Me Feature and more.

Markdown 451 134 Updated 1 month ago

Database & Storage

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Markdown 404 59 Updated 1 month ago

chiselverify / chiselverify

A dynamic verification library for Chisel.

C 163 22 Updated 1 month ago

Testing