Unofficial, handwritten parser aimed at transpilation of the HAHA language.

BirdVerify es una aplicación de verificación de usuarios de Twitter que te permite buscar si un usuario específico estaba previamente. Esta aplicación utiliza una base de datos SQLite que contiene una lista de usuarios verificados en Twitter hasta el 11 de diciembre de 2022.

Fitur: verifikasi id 5 digit dengan total bilangan lebih dari 25 , beberapa pilihan dengan operator Switch Case dan if ,else , dan library buku yang bisa ditambahkan dengan template yang sudah ada.

通过注解实体类的形式实现参数校验

Implementing transaction chain using blockchain

Con Java y Spring se puede mantener un sitio seguro mediante esta herramienta. Recaptcha o reCAPTCHA es el sistema Captcha que utiliza Google para detectar el tráfico procedente de programas automatizados o bots.

The ATM model for login and balance verification and displaying mini statement. Implement the model in Java language.

SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.

Validate a Callback Request event from Sinch Verification using OpenJDK and Spring Boot

Backend using Springboot for Multi-Factor Authentication using Authenticator App

Code samples of querying the Email Verification API service of Whois XML Api.

📙 Verifies and generates check digits for ISBN-13 numbers

A set of verification benchmarks which were mined from several well-known books on verification.

Verification tool for VHDL (or at least the prototype of one).

Prácticas Verificación y Validación

Compiler for generating formal model specifications in BIP2 from BPEL source code. BIP documentation: https://www-verimag.imag.fr/TOOLS/DCS/bip/doc/latest/html/index.html

Extensible HAHA transpiler.

Android view for providing blocks (Edit Texts) to achieve verification process.