From b9000684c2cfb749003015a7048e7139a5d3fcc6 Mon Sep 17 00:00:00 2001 From: Ilja Heitlager Date: Tue, 28 Jul 2026 07:25:39 +0200 Subject: [PATCH] docs(profile): add MVL under 'Our projects' --- profile/README.md | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/profile/README.md b/profile/README.md index 0d5c257..0f9b633 100644 --- a/profile/README.md +++ b/profile/README.md @@ -3,3 +3,10 @@ See [/schubergphilis](https://github.com/schubergphilis) for most of our open source code. Here you can find our more experimental tidbits, intern thesis projects, and so on. + +--- + +## Our projects + +- **[MVL — Maximum Verifiable Language](https://github.com/mvl-lang)** — an assurance compiler for the LLM age. Compiler, spec, playground, packages, website, examples. + → [mvl-lang.org](https://mvl-lang.org) · [Getting started](https://mvl-lang.org/getting-started/) · [Discussions](https://github.com/mvl-lang/mvl/discussions) · [Discord](https://discord.gg/BuWfh7A2A)