https://github.com/nota-lang/nota

A document language for the browser
https://github.com/nota-lang/nota

Last synced: 3 months ago
JSON representation

A document language for the browser

• Host: GitHub
• URL: https://github.com/nota-lang/nota
• Owner: nota-lang
• License: mit
• Created: 2021-07-05T20:21:47.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2024-07-11T16:23:26.000Z (4 months ago)
• Last Synced: 2024-07-11T18:54:25.608Z (4 months ago)
• Language: TypeScript
• Homepage: https://nota-lang.org
• Size: 48.5 MB
• Stars: 694
• Watchers: 18
• Forks: 13
• Open Issues: 12
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Nota: A Document Language for the Browser

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"](https://arxiv.org/abs/2310.04368).

## 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: 

* [Nota installation and build pipeline](https://github.com/nota-lang/nota/issues/14)

* [Nota editor](https://github.com/nota-lang/nota/issues/11)

* [Nota components](https://github.com/nota-lang/nota/issues/12)

* [Nota syntax](https://github.com/nota-lang/nota/issues/10)

* [Bikeshed emporium](https://github.com/nota-lang/nota/issues/13) (for small nits / naming issues)

## Contributing

If you would like to contribute to Nota, see [CONTRIBUTING.md](https://github.com/nota-lang/nota/blob/master/CONTRIBUTING.md).