| Linking domain | Status | Title | Country/Lang | Category | AI files | Contact | AI-protection |
|---|---|---|---|---|---|---|---|
| certicoq.org ↗ | 200 | CertiCoq | A verified compiler for Coq | en | programming-languages | robotsllmsaihumans | emailphone | none |
| lgourd.in ↗ | 200 | Léo Gourdin | India en | programming-languages | robotsllmsaihumans | emailphone | none |
| willcrichton.net ↗ | 200 | Will Crichton | en | programming-languages | robotsllmsaihumans | emailphone | none |
| xavierleroy.org ↗ | 200 | Xavier Leroy - Home page | en | programming-languages | robotsllmsaihumans | emailphone | none |