Wikipedia of Algebraic Geometry Will Forever Be Incomplete. (2022)

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • stacks-project

    Repository for the Stacks Project

  • Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen...

    At a high level they use plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML

    My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/

  • plastex

    plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.

  • Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen...

    At a high level they use plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML

    My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/

  • 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.

    InfluxDB logo
  • LaTeXML

    LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

  • Stacks project is available on github, so in theory (if you're bored enough) it should be possible to reverse engineer their design from their make-project file https://github.com/stacks/stacks-project/blob/master/documen...

    At a high level they use plastex https://github.com/plastex/plastex to convert latex to html (you seem to be using pandoc?) and so can control the rendering to any fine accuracy they want. I liked this general style as well, so I tried using plastex but couldn't get my head around it and so started using LateXML https://github.com/brucemiller/LaTeXML

    My usecase: I wanted to have a "dependency graph" of lemmas to make it easier to see proofs without having to jump back and forth through a pdf, and this was sort of similar to lean formalization blueprint graphs https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... (which also uses plastex) but without the lean parts. There's still a lot of work to be done, but I think I have a pretty okay implementation using latexml which meets 50% of my requirements for now, so I'm happyish https://texviz.arsricharan.in/ghrss24/

  • ar5iv-css

    Some CSS experiments for arXiv HTML documents converted via latexml

  • https://github.com/dginev/ar5iv-css

    and add "--css=ar5iv.css --nodefaultresources" to the command line options for latexmlpost (or latexmlc).

    Or alternatively, for people not interested in learning how to install and configure latexml, they can try the self-contained Dockerfile at:

    https://github.com/dginev/ar5ivist/

  • ar5ivist

    A turnkey command for converting a LaTeX source to ar5iv-style HTML

  • https://github.com/dginev/ar5iv-css

    and add "--css=ar5iv.css --nodefaultresources" to the command line options for latexmlpost (or latexmlc).

    Or alternatively, for people not interested in learning how to install and configure latexml, they can try the self-contained Dockerfile at:

    https://github.com/dginev/ar5ivist/

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Better Latex book

    1 project | dev.to | 14 May 2024
  • Open-source LaTeX book in 2024?

    1 project | news.ycombinator.com | 14 May 2024
  • Automated Latex Resume with GitHub Action

    2 projects | dev.to | 12 May 2024
  • The Clowder Project: an online resource for category theory and mathematics

    1 project | news.ycombinator.com | 7 May 2024
  • How to improve the RISC-V specification

    9 projects | news.ycombinator.com | 28 Apr 2024