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. Learn more →
Book Alternatives
Similar projects and alternatives to book
-
github-orgmode-tests
This is a test project where you can explore how github interprets Org-mode files
-
InfluxDB
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.
-
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.
-
tortoisegit
Windows Explorer Extension to Operate Git; Mirror of official repository https://tortoisegit.org/sourcecode
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
book reviews and mentions
-
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).
-
A note from our sponsor - InfluxDB
www.influxdata.com | 28 Apr 2024
Stats
The primary programming language of book is TeX.
Sponsored