![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/filetype/up.png){kind=small}
![[ ]](/filetype/python.svg){kind=small}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| Extract links from PDF.py | 2024-06-26 04:39 | 3.4K |
| fig.py | 2024-07-06 15:40 | 77K |
| fig2tikz.py | 2024-07-06 19:56 | 23K |
| latex minifier.py | 2024-02-15 09:35 | 2.3K |
| list item.py | 2024-05-09 11:13 | 6.0K |
| merge_tex.py | 2024-07-04 07:09 | 616 |