Page abstraction

crates/service/service-webpage/src/pages/index.md

@@ -0,0 +1,45 @@
+Also see [what's a "betalupi?"](/whats-a-betalupi)
+
+## Pages
+
+- [Handouts](/handouts): Math circle lessons I've written
+- [Links](/links): Interesting parts of the internet
+
+<hr style="margin-top: 8rem; margin-bottom: 8rem"/>
+
+## Projects
+
+- **RedoxOS**, a general-purpose, microkernel-based operating system written in Rust. _{ style(color_var:grey) [enthusiast] }_
+
+  - { style(color_var:grey) Status: } { style(color_var:yellow) Passive. }
+  - { style(color_var:grey) Website: } [:fa-link: redox-os.org](https://www.redox-os.org/)
+
+
+<br/>
+
+
+- **Tectonic**, the LaTeX engine that is pleasant to use.
+  Experimental, but fully functional. _{ style(color_var:grey) [co-maintainer] }_
+
+  - { style(color_var:grey) Status: } { style(color_var:yellow) Passive. } [Typst](https://github.com/typst/typst) is better.
+  - { style(color_var:grey) Main repo: } [:fa-github: Tectonic](https://github.com/tectonic-typesetting/tectonic)
+  - { style(color_var:grey) Bundle tools: } [:fa-github: tectonic-texlive-bundles](https://github.com/tectonic-typesetting/tectonic-texlive-bundles)
+
+
+<br/>
+
+
+- **Daisy**, a pretty TUI scientific calculator. _{style(color_var:grey) [author] }_
+
+  - {style(color_var:grey) Status: } {style(color_var:orange) Done. } Used this to learn Rust. [Numbat](https://numbat.dev) is better.
+  - {style(color_var:grey) Repository: } [:fa-github: rm-dr/daisy](https://github.com/rm-dr/daisy)
+  - {style(color_var:grey) Website: } [:fa-link: daisy.betalupi.com](https://daisy.betalupi.com) (WASM demo)
+
+<br/>
+
+- **Lamb**, a lambda calculus engine. _{style(color_var:grey) [author] }_
+  - {style(color_var:grey) Status: } {style(color_var:orange) Done. } Fun little project.
+  - {style(color_var:grey) Repository: } [:fa-github: rm-dr/lamb](https://github.com/rm-dr/lamb)
+  - {style(color_var:grey) PyPi: } [:fa-python: lamb-engine](https://pypi.org/project/lamb-engine)
+
+<br/>