veralang.dev

HTML metadata

Title

Vera — A language designed for machines to write

Description

Vera is a programming language designed for large language models to write. Mandatory contracts, algebraic effects, typed slot references, and compilation to WebAssembly — runs at the command line or in the browser.

Language

en

Open Graph

url

https://veralang.dev

title

Vera — A language designed for machines to write

description

A programming language where verification is a first-class citizen. Mandatory contracts, algebraic effects, typed slot references. Compiles to WebAssembly — runs at the CLI or in any browser.

Technology

CDN

Fastly

Server

GitHub.com

Fonts

• Google Fonts

Third-party hosts loaded (3)

• fonts.googleapis.com×2
• fonts.gstatic.com×1
• github.com×1

Social

• github

DNS records live

NS

• ns1.hover.com
• ns2.hover.com

Email authentication no MX

SPF

not published

DMARC

not published

DKIM

no key found at common selectors

Certificate (current)

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://veralang.dev/

findings

• missing HSTS
• missing Content Security Policy
• missing frame protection
• missing content type protection
• missing Referrer Policy
• missing Permissions Policy

Links to (5)

• microsoft.com×3
• arxiv.org×2
• github.com×2
• wasmtime.dev×2
• macromates.com×1

Linked from (1)

• tldr.tech×1