Skip to content
← All applications
AutoOS Flagship App
Alpha

AutoDown: A Knowledge Base That Thinks

A Markdown+YAML dialect of the Auto language, and Jade Garden, an Obsidian-like knowledge base built with it. Frontend and backend logic are all one .at source — the largest showcase of "one codebase, two shapes" in the Auto ecosystem.

AutoDown at a Glance

32K+
Lines of .at Source
411 .at files — the largest Auto codebase in the ecosystem.
2
Runtime Shapes
One source: Web (Vue) and desktop (iced) shapes.
23
e2e Parity Checks
Verified equal across Playwright's dual backends (vue/VM).
9+
Backend Modules
parser/links/search/tasks/agenda/query/srs/linkgraph…
Dual Shape

Jade Garden: One Source Tree, Two Shapes

29 widgets are generated as Vue SFCs from .at via a2ts; the same DSL is interpreted by the AutoVM and rendered natively by iced. Web and desktop aren't developed twice — they're developed once.

  • Three-pane layout — source tree, editor, and preview, linked.
  • Dark & light themes — full dark/light support on desktop.
  • Streaming demo — edit/view/stream showcase modes.
Jade Garden desktop shape (iced)
Jade Garden web shape (Vue)
Dialect

Documents as Data

AutoDown documents can be parsed, queried, transformed, and generated — a knowledge base isn't just for humans to read.

  • Markdown + YAML — familiar writing syntax with structured-data power.
  • Knowledge graph — the links and linkgraph modules build a citation network across documents.
  • Tasks & agenda — the tasks/agenda modules turn TODOs into queryable data.
  • Spaced repetition — the srs module turns notes into study cards.
note.down — Markdown + YAML
meta:
title: "v0.5 Release Retro"
tags: [release, v05]
# Release by the Numbers
commits: 5711
highlights:
- AutoOS Virtual Desktop
- Bootstrap² matrix achieved

Why AutoDown Matters

🌱

Single Source of Truth

Frontend and backend logic all in .at, with Rust as just the shell — the highest form of full-stack Auto.

🔁

Dual-Backend Parity

23 e2e checks hold equally on the vue and VM backends; consistency is locked in by tests.

🧠

Knowledge as Data

Parseable, queryable, generatable — the knowledge base is AutoOS's memory layer.

🛠️

Same-Stack Toolchain

Built with the same compiler, VM, and transpilers as the language itself — no special channels.

Released under the MIT License.