book
git-diff-img
| book | git-diff-img | |
|---|---|---|
| 6 | 2 | |
| 1,979 | 73 | |
| 0.7% | - | |
| 5.8 | 0.0 | |
| 3 months ago | over 1 year ago | |
| TeX | Shell | |
| - | The Unlicense |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
book
-
LaTeX for books?
Some famous collaborative books: * https://github.com/HoTT/book * https://github.com/OpenLogicProject/OpenLogic * https://github.com/stacks/stacks-project * http://math.uchicago.edu/~amathew/cr.html
-
Introduction to Homotopy Type Theory
Is this supposed to be more accessible than the HoTT textbook that's been maintained on Github for some years? https://github.com/HoTT/book
-
Does something like git for MS Word Exisits?
Here's one example of a book with multiple collaborators: https://github.com/HoTT/book (Credit to Colt Steele, who mentions it in his The Git & GitHub Bootcamp course on Udemy).
- Use Inclusive Language in §1.11
-
How can a layman begin learning Martin-Löf Type Theory? What are the prerequisites to learn it?
If the pdf links don't work, those on the github link should work: https://github.com/HoTT/book/wiki/Nightly-Builds
-
Advancements in math typesetting
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).
git-diff-img
-
Does something like git for MS Word Exisits?
Image diffs are still a developing technology. Check out https://github.com/niedzielski/git-diff-img for an example.
- Git-Diff-Img with ImageMagick
What are some alternatives?
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
magit-delta - Use delta (https://github.com/dandavison/delta) when viewing diffs in Magit
stacks-project - Repository for the Stacks Project
kdiff - A tool for reviewing Kicad's projects visually (schematics and layout) using Plotgitsch and Kicad-Diff [Moved to: https://github.com/leoheck/kiri]
github-orgmode-tests - This is a test project where you can explore how github interprets Org-mode files
zsh-diff-so-fancy - ⚙️ The diff-so-fancy for Zsh
pandoc - Universal markup converter
Asciidoctor - :gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
OpenLogic - An open-source, customizable intermediate logic textbook
tortoisegit - Windows Explorer Extension to Operate Git; Mirror of official repository https://tortoisegit.org/sourcecode
HoTTEST-Summer-School - HoTTEST Summer School materials