stacks-project
jupyter-book
stacks-project | jupyter-book | |
---|---|---|
15 | 15 | |
804 | 3,694 | |
4.7% | 0.9% | |
9.1 | 8.5 | |
4 days ago | 8 days ago | |
TeX | Python | |
GNU General Public License v3.0 or later | BSD 3-clause "New" or "Revised" License |
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
jupyter-book
-
I don't always use LaTeX, but when I do, I compile to HTML (2013)
Sphinx supports ReStructuredText and Markdown.
MyST-Markdown supports MathJaX and Sphinx roles and directives. https://myst-parser.readthedocs.io/en/latest/
jupyter-book supports ReStructuredText, Jupyter Notebooks, and MyST-Markdown documents:
You can build Sphinx and Jupyter-Book projects with the ReadTheDocs container, which already has LaTeX installed: https://github.com/executablebooks/jupyter-book/issues/991
myst-templates/plain_latex_book:
-
Ask HN: Fastest way to turn a Jupyter notebook into a website these days?
your task is very very broad
you mention you don't want to deal with AWS, if it's because of ad-hoc installation concerns and nothing else you can just run your notebooks in ready-made solutions like Google Colab, or Jupyter-book in Github ( https://github.com/executablebooks/jupyter-book ))
that would cover a lot of use cases right away without next to no learning curve
If you don't want to deal with AWS or similar, in that case:
- if it's a static notebook then you can obviously render it and serve the web content (might seem obvious but needs to be considered)
- if it's dynamic but has light hardware requirements, you can try jupyterlite which runs in the browser and should do a pyodine (webassembly CPython kernel) can do: https://jupyterlite.readthedocs.io/en/latest/try/lab/
- otherwise, you can try exposing a dockerised jupyter env ( as in https://github.com/MKAbuMattar/dockerized-jupyter-notebook/b... ) or even better a nixified one ( https://github.com/tweag/jupyenv )
there might be other approaches I'm missing, but I think that's pretty much it that doesn't entail some proprietary solution or an ad-hoc installation as you've been doing
-
How to raise the quality of scientific Jupyter notebooks
Note: If you want to present a cleaner version of the notebook without assertions, you can use Jupyter book to render it into a site and use the remove-cell tag to omit assertions from the output.
-
Sunday Daily Thread: What's everyone working on this week?
See this thread for example.
-
Are there any frameworks/methodologies/libraries that can help to create a PDF printable professionally looking written report?
And maybe take a look at executablebooks/jupyter-book.
- [P] I Made An Easy-To-Use Python Package That Creates Beautiful Html Reports From Jupyter Notebooks
- RStudio Is Becoming Posit
-
Python toolkits
Our team has transferred from Sphinx for documentation to JupyterBook. There have been some growing pains with it but I prefer the look of the output and being able to play with the examples on Colab or Binder at the click of a button is a great feature.
- Ask HN: Tools to generate coverage of user documentation for code
- Why does [::-1] reverse a list?
What are some alternatives?
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
Spyder - Official repository for Spyder - The Scientific Python Development Environment
numerical-linear-algebra - Free online textbook of Jupyter notebooks for fast.ai Computational Linear Algebra course
sphinx-thebe - A Sphinx extension to convert static code into interactive code cells with Jupyter, Thebe, and Binder.
book - A textbook on informal homotopy type theory
MyST-Parser - An extended commonmark compliant parser, with bridges to docutils/sphinx
OpenLogic - An open-source, customizable intermediate logic textbook
quarto-cli - Open-source scientific and technical publishing system built on Pandoc.
maths_book - Planning for an entire maths LaTeX book
pre-commit - A framework for managing and maintaining multi-language pre-commit hooks.
microMathematics - microMathematics Plus - Extended visual calculator
heron