This repository includes the Resistive Random Access Memory (RRAM) Compiler which is designed in the context of the research project of Dimitris Antoniadis (PG Taught Student) at Imperial College London

Simulation and analysis tools for autonomous F-16 maneuvers as a V&V benchmark

Verification and Generation of Smart Contracts using Stainless and Scala

This website is for taxi provider and driver & users

The MinecraftID Website frontend

Website for the SPLV summer school series

Qui si può verificare l'avvenuta notarizzazione del consenso seguendo le istruzioni oppure si può caricare la ricevuta nella pagina apposita a: https://popso.github.io/verifica-notarizzazione-blockchain/

C# .NET 9.0 Blazor server component for hCaptcha.

An experimental linearizability checker for lock-free data structures using safe memory reclamation.

A National ID card verification system for public.

The seL4.systems website

MADS (Model Analysis & Decision Support) documentation

Knotical: An Inference System of Trace Refinement Relations

This repository collects guidelines that can help developers and QA teams when developing, verifying or testing their ROS-based robots in the field.

A robust system designed to streamline cocktail bar operations, emphasizing thorough validation and verification processes for enhanced reliability and efficiency

A free and customisable Age Verification popup widget for Squarespace websites.

Open-Source Hackathon Platform built on Django

This repository help to verify phone number using sms/call OTP with nodejs.

🚀 Intelligent command verification system for documentation with git diff-based cache invalidation. Zero-token operation, cross-platform CLI tool that discovers and validates commands in markdown files with 90%+ cache hit rates. Built for modern JavaScript/Node.js projects with comprehensive testing and self-learning capabilities.