Home

Awesome

Nota: A Document Language for the Browser

<!-- [![.github/workflows/ci.yaml](https://github.com/nota-lang/nota/actions/workflows/ci.yaml/badge.svg)](https://github.com/nota-lang/nota/actions/workflows/ci.yaml) -->

Nota is a language for writing documents, like academic papers and blog posts. The goal of Nota is to bring documents into the 21st century.

Note (2023-10-19): Nota is undergoing a significant rewrite, so this repo will be stale for at least few months. Check back in around Fall 2024!

If you're curious what I've been up to, check out my POPL 2024 paper "A Core Calculus for Documents".

Installation and Usage

For instructions on how to setup and use Nota, visit: https://nota-lang.org/

Feedback

If you encounter an issue or have a proposed feature, you can either comment on a tracking issue below or create a new issue:

Contributing

If you would like to contribute to Nota, see CONTRIBUTING.md.