CodeChecker is a defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
-
Updated
Jun 15, 2017 - Python
CodeChecker is a defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Karlsen Network example for understanding TX acception
This repository is a project of the GoodAI team and belongs to the discipline technology of artificial intelligence (TAI) using the DeepFace library to analyze and search for faces
LAWNet
Student authentication micro-service for EveryClass.
light weight package to verify and get information about Iranian cell phone number
This repository consists of python scripts to generate RISC-V assembly for testing the Regfile + Bypass + Scoreboard in the Chromite core developed by incore semiconductors
A shield.io endpoint for displaying formatted SVCOMP result badges
An example project for email verification using AWS + JWT
Worked on checking the entered phone number with the Eskiz sms system
It performs a thorough comparison to determine if the contents of two folders are completely identical to those of the old one.
Blogging application to post , view, edit and delete your blog. Users can also update their account. Made using tkinter
Prototype implementation of the Plugin Distribution System (PDS) [Formerly called Secure Plugin Management System (SPMS)]
Blockchain-based Proof of Invention without Content Disclosure
Formal Verification of Model Fairness via Interval Bound Propagation
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."