A collection of tools for writing technical documents that mix Coq code and pros

HTML208mit

6 months ago

Produces text which, on first glance, looks like real, ponderous, prose; replete

C#90bsd-3-clause

4 months ago

A linter for prose.

Python4282bsd-3-clause

16 days ago

adviceknowledgelanguage

:pencil: A markup-aware linter for prose built with speed and extensibility in m

Go4191mit

3 days ago

linterlintingnlp

:book: A Golang library for text processing, including tokenization, part-of-spe

Go3027mit

last year

natural-language-processingnlpprose

A book to help software developers write better prose

Nunjucks225mit

last year

book

Naive linter for English prose

JavaScript4887mit

2 years ago

📝 Create and share beautiful images of your notes and prose.

Vue41

last year

editorexporthighlight

Enables client-side applications to dance OAuth with GitHub.

JavaScript757mit

last year