Screenshot of qua.codes

Technology & Software

Qualified C Programming

QCP is a formal verification tool and IDE suite for verifying C program safety and correctness using separation logic and Rocq.

Visit qua.codes ↗

Extension: .codes
Discovered: 6/18/2026
Domain registered: 8 July 2025
Domain age: Newly registered
Language: Chinese

Why it's here

✓ The domain resolves and the homepage loads
✓ Not parked, for sale or a placeholder page
✓ Real content: at least 400 characters of text and several internal pages
✓ Passed an AI review for quality and safety

Why it ranks

21 Emerging

Brand (25%)0
Not a known brand
Popularity / traffic (20%)10
Not in Tranco top 1M
Authority / backlinks (15%)unknown
Not checked yet
Marketing of the domain (15%)25
Technical project site linking to web tools, tutorials, and research publications.
Content quality (10%)76
76/100
Design & build (5%)72
72/100
Domain age (10%)13
1.3 years since registration

A legitimate academic and developer tool for C program formal verification featuring online tools, tutorials, and release notes.

How the score works

More on .codes

Screenshot of vapor.codes

Vapor

An open-source HTTP web framework for building backend servers and APIs in Swift.

73StrongTechnology & Software

Screenshot of t3.codes

T3 Code

An open-source interface for orchestrating coding agents across desktop and mobile devices.

68StrongTechnology & Software

Screenshot of wpe.codes

WP Engine

WP Engine is a managed WordPress hosting platform providing enterprise-grade performance, security, and developer tools.

56PromisingTechnology & Software