Advancements in math typesetting

• book

  6 1,975 5.8 TeX

  A textbook on informal homotopy type theory (by HoTT)

  

Office packages (e.g. Microsoft Word or LibreOffice Calc) because I firmly believe that WYSIWYG editors are a nightmare for both version control and collaborative editing (yes, I know about Google Docs, but imagine writing the HoTT book or Stacks project in Google Docs).

• stacks-project

  14 804 9.1 TeX

  Repository for the Stacks Project

  

Office packages (e.g. Microsoft Word or LibreOffice Calc) because I firmly believe that WYSIWYG editors are a nightmare for both version control and collaborative editing (yes, I know about Google Docs, but imagine writing the HoTT book or Stacks project in Google Docs).

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• github-orgmode-tests

  245 147 4.8

  This is a test project where you can explore how github interprets Org-mode files

Most of your complaints are about LaTeX as a document markup language. I think this is clearly an area where improvements exist and there could be more movement towards them. As an Emacs user I'm legally required to champion org-mode as a system for writing rich text and exporting it to myriad outputs: if I want to write a presentation or an essay it's my tool of choice.

• tectonic

  22 3,768 9.1 C

  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

  

Looks like they're working hard to implement it! There's a pull request

Suggest a related project