Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Bnfc | 551 | 3 | 3 months ago | 27 | October 27, 2023 | 79 | TeX | |||
BNF Converter | ||||||||||
Latex Parser | 46 | 3 | 2 years ago | 10 | May 24, 2022 | 1 | mit | TeX | ||
Generate an AST and beautify LaTeX code | ||||||||||
Chaml | 6 | 10 years ago | TeX | |||||||
An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details. |