stacks-project
typst
stacks-project | typst | |
---|---|---|
15 | 110 | |
804 | 28,505 | |
4.7% | 3.9% | |
9.1 | 9.8 | |
4 days ago | about 3 hours ago | |
TeX | Rust | |
GNU General Public License v3.0 or later | Apache License 2.0 |
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.
stacks-project
- The Clowder Project: an online resource for category theory and mathematics
-
Wikipedia of Algebraic Geometry Will Forever Be Incomplete. (2022)
The Stacks project is meant to be a comprehensive Bourbaki-style textbook, not an encyclopedic survey, so the Wikipedia comparison is a miss. (The WP has a textbook level of detail on some topics, with proofs and examples, but these are few and far between and come from enthusiastic editors going above and beyond the WP's declared goals.)
Stacks is not finished, however -- still a lot of "Proof. Omitted.". From what I understand, the goal is to fill them all in (otherwise there would be references to the literature in their stead), but ultimately it is still mostly a one-person project (see https://github.com/stacks/stacks-project/graphs/contributors ).
I once filled in one of those missing proofs, only to see Johan replace it by a much better one that I would never have thought of. And this was (for him) a technical lemma, not one of the crown jewels of the project. His dedication to the project is truly incomparable to anything except Bourbaki and Serre. And the usefulness of the work extends far beyond algebraic stacks.
- I don't always use LaTeX, but when I do, I compile to HTML (2013)
-
Ask HN: What are some well-designed websites?
Personally, I love the Stacks Project webpage (https://stacks.math.columbia.edu/); they way it is laid out, the font, the seamless integration of LaTeX in the test (https://stacks.math.columbia.edu/tag/0A2U) has made me rethink mathematical text for the web.
-
Tree linking all math concepts together?
For algebraic geometry, there is the Stacks project online, which builds up all mathematics needed to understand algebraic stacks, from foundations. This time, foundations truly mean its basic axioms. Everything is proven except maybe with a few exceptions in the introduction, and everything has links. As such, it is a monstrously large project (the pdf-version is around 7500 pages iirc). This one is I think among my suggestions closest to what you had in mind. The only thing is that it again only focuses on one area of math.
-
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
-
What are the subfields of algebraic geometry?
There is not really one good reference for algebraic geometry (even the EGA, SGA, FGA series, and that's assuming you can even plough through them all), but the Stacks Project (https://stacks.math.columbia.edu/) is at least very good for CAG.
-
Comprehensive math education
The Stacks Project is a massive project covering algebraic geometry. The nLab is a wiki that covers a staggering amount of material from its own, rather specific, point of view.
-
I finished Hartshorne… now what?
Well, I talked to a friend who knows a lot of AG. He recommended "learning some things in topology like model categories" and discouraged learning about infinity categories without other stuff. Also, if you're interested in stacks, try the Stacks Project?
- The Stacks project: open-source textbook and reference on algebraic geometry
typst
-
German state ditches Microsoft for Linux and LibreOffice
https://github.com/typst/typst looks promising, both the language and the tooling. I wonder where it will find its place in a world that is dominated by either Word or LaTex.
- Ask HN: What Underrated Open Source Project Deserves More Recognition?
-
LaTeX and Neovim for technical note-taking
I hope in a couple of years we start seeing posts like these with Typst instead of LaTeX. It seems like setting this up would be a bit easier since Typst is much more concise than LaTeX.
[0] https://github.com/typst/typst
-
I'm able to take notes in mathematics lectures using LaTeX and Vim (2019)
For writing math notes (especially in vim), I switch to using Typst (https://typst.app).
Here's a few points:
- The syntax is a lot lighter and easier to type fast. I was up and running in half hour after starting to use it. Once in a while I can look up some symbol name in the docs but that's about it.
- Empty document is a valid document. No preambles, no includes etc, it's all optional and the defaults are sensible. Just start typing.
- It's incremental. Live preview from neovim is in the browser and it's lightning fast, pretty much immediate. No pdf sync pain. No build files, makefiles and all that. Just start typing.
While it's not going to beat latex in terms of serious academic use, for personal use and notes it's close to perfect.
(And of course it's written in Rust...)
-
I don't always use LaTeX, but when I do, I compile to HTML (2013)
Except the main theme, which was HTML export? https://github.com/typst/typst/issues/721
Though it's in the roadmap!
- Htmldocs: Typeset and Generate PDFs with HTML/CSS
-
"LibreOffice is better at reading old Word files than Word"
I don't use LaTeX for anything these days but Typst popped up recently and seems like a decent alternative: https://github.com/typst/typst
-
Which software do you use to create presentations using Vim that is superior to existing ones?
I am surprised that no one mentions the typst. It is super smooth with typst-preview.
-
Bibliography CSL
I suggest you ask in the discord channel: https://discord.gg/2uDybryKPe. Or open an issue or question on GitHub: https://github.com/typst/typst
- Besseres Schreibprogramm als Word?
What are some alternatives?
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
asciidoctor-latex - :triangular_ruler: Add LaTeX features to AsciiDoc & convert AsciiDoc to LaTeX
numerical-linear-algebra - Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
typst.nvim - WIP. Goals: Treesitter highlighting, snippets, and a smooth intergration with neovim.
book - A textbook on informal homotopy type theory
KeenWrite - Free, open-source, cross-platform desktop Markdown text editor with live preview, string interpolation, and math.
OpenLogic - An open-source, customizable intermediate logic textbook
typst-lsp - A brand-new language server for Typst, plus a VS Code extension
maths_book - Planning for an entire maths LaTeX book
json-resume-template - JSON-based standard for resume
microMathematics - microMathematics Plus - Extended visual calculator
tree-sitter-typst - A TreeSitter parser for the Typst File Format