more landing page

cryspen · Feb 10, 2025 · a0b9dc1 · a0b9dc1
1 parent 1e29d8c
commit a0b9dc1
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/docs/index.md b/docs/index.md
@@ -1,6 +1,18 @@
-# Welcome to hax
+# hax
 
 hax is a tool for high assurance translations of a large subset of
 Rust into formal languages such as [F\*](https://www.fstar-lang.org/) or [Rocq](https://rocq-prover.org/).
 
-Head over to the [Manual](./manual/index.md) to get started!
+Head over to the [Manual](./manual/index.md) or the [playground](https://hax-playground.cryspen.com)
+to get started!
+
+![hax overview](static/img/overview.png)
+
+## Playground
+Try out hax in the browser on the [playground](https://hax-playground.cryspen.com).
+
+[![Playground screenshot](static/img/playground.png)](https://hax-playground.cryspen.com)
+
+## Community
+
+Join the hax community on our [Zulip chat](https://hacspec.zulipchat.com).
diff --git a/docs/static/img/overview.png b/docs/static/img/overview.png
diff --git a/docs/static/img/playground.png b/docs/static/img/playground.png