Skip to content
Change the repository type filter

All

    Repositories list

    • Repository for the Stacks Project
      TeX
      Other
      15286002Updated Sep 18, 2024Sep 18, 2024
    • Tools for managing the TeX sources of the Stacks project
      Python
      51500Updated Jun 8, 2024Jun 8, 2024
    • HTML
      2000Updated Sep 21, 2023Sep 21, 2023
    • Scripts to find a record of changes of tags in the Stacks project
      Python
      1000Updated Aug 29, 2018Aug 29, 2018
    • A front-end for the Stacks project listing properties and their preservation under some action
      PHP
      2100Updated Jul 27, 2018Jul 27, 2018
    • stacks-website

      Public archive
      The website for the Stacks project
      PHP
      GNU General Public License v2.0
      1219252Updated May 22, 2018May 22, 2018
    • 0200Updated Sep 12, 2016Sep 12, 2016
    • A scatter plot for the growth of the Stacks project
      CSS
      0000Updated Jun 28, 2015Jun 28, 2015
    • Include snippets from the Stacks project directly using LaTeX
      TeX
      2170Updated Jul 22, 2014Jul 22, 2014
    • Write slogans for results in the Stacks project and earn eternal awesomeness
      PHP
      0000Updated Jul 22, 2014Jul 22, 2014
    • The staging ground for the dependency graphs in the new version of the Stacks website
      Python
      1100Updated Jun 11, 2013Jun 11, 2013