V

verification

Collection of Verification Tasks

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

Ansible automation for setting up https://verification.f-droid.org

Application for verifying ripped audio files using AccurateRip database.

Read-only mirror of https://github.com/arcctgx/ARver

Bubaak - a tool of indeterminate structure that scares children and makes adults nervous (or laughing).

A helper for dev-code.ir telegram bot using in projects

Kernel and one rule for code analyzer with CI/CD and tests

A Telegram Robot to see Verification Codes During development on Telegram

FREE VBUCKS GENERATOR NO VERIFICATION : Free VBucks are a virtual currency that is used in the game Fortnite. Acquiring this currency would not provide the players with an extra competitive benefit for the game.

A small package that helps dealing with Machine Learning features with pandas.

Project website: https://v0g.gitlab.io/ait/

In this course we'll learn about DevOps life cycle and GitLab Project Management Tools. We use an Angular basic project.

GitLab page collecting documentation and models of multi-factor authentication (MFA) implementations