GSoC 2025: Implementing Typst Printer and Parser

74 views
Skip to first unread message

xzdlj

unread,
Mar 30, 2025, 4:01:02 PMMar 30
to sympy
Dear Developers,
I'm preparing to implement a Typst printer and parser for Sympy.
I had already partially implemented the printer last year(#26814) , but it was put on hold due to academic commitments. Now, I'm hoping to participate in GSoC 2025, and here is my proposal wiki page:Implementing Typst Printer and Parser.
I'm not sure if this idea is a good fit for a GSoC proposal, and I haven't yet found a mentor to approach.  
I would appreciate any feedback on the GSoC aspects as well as any suggestions regarding the printer and parser implementation.  

Best regards,
Zhenxu Zhu

Jason Moore

unread,
Mar 31, 2025, 1:45:59 AMMar 31
to sy...@googlegroups.com
Hi Zhenxu,

I recommend picking either the printer or the parser as the scope, not both. Maybe you could do both in a 350 hour project, but I'm not sure.

I think lately people are trying to move to Lark as the parser tool and away from ANTLR. A project that does this for the existing ANTLR parsing would be more beneficial long term than adding a new printer/parse language.

Adding Typst support is welcome.

Jason


--
You received this message because you are subscribed to the Google Groups "sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sympy+un...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/sympy/140ed3dd-c40d-4337-8f89-aab9bf0b7d0cn%40googlegroups.com.

xzdlj

unread,
Mar 31, 2025, 7:09:55 AMMar 31
to sympy
Hi Jason,
Thank you for your suggestions!
I understand your concerns about the overall workload. While I’m not sure about the time required for the parser, I believe I can complete the printer within 100 hours, as I’ve already finished nearly half of it last year. Given this, do you think completing both within 350 hours is reasonable?
I know that LaTeX already has a new Lark implementation. Would you recommend just using Lark instead of ANTLR for implementing a Typst parser?
After GSoC, I would also be happy to work on adding Lark implementations for existing ANTLR-based parsers.

Best regards,
Zhenxu Zhu


Reply all
Reply to author
Forward
0 new messages