Nicholas H

nickh007

2 31

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago

nickh007/specforge

updated a dataset 3 days ago

nickh007/protocol-bench

updated a Space 3 days ago

nickh007/specforge-leaderboard

View all activity

Organizations

spaces 12

specforge leaderboard

🔬

Score a solver with every counterexample replayed

Protocol-Bench & minicheck

🔍

Run a model checker in your browser

PQC Migration Explorer

🛡

Is your PQC reassembly cap safe? One click.

LCERT Certificate Verifier

🔏

Verify a certificate in your browser. Nothing is uploaded.

Wait-For Visualiser

🔗

Detect and visualize deadlock cycles in wait‑for graphs

soundnessbench

🧮

Score a soundness tool in your own browser

View 12 Spaces

models 0

None public yet

datasets 15