Skip to content

Instantly share code, notes, and snippets.

View erezsh's full-sized avatar

Erez Shinan erezsh

View GitHub Profile
<body>
<input id="x">
<div id="concat_link">a</div>
<script>
add = "p=1T14183534162201601I&utm_campaign=FPVist&utm_content=3312"
link = "https://www.banggood.com/Anniversary-Special-Edition-Martian-215-215mm-Carbon-Fiber-FPV-Racing-Frame-Kit-136g-p-1180757.html?rmmds=search&cur_warehouse=CN"
@erezsh
erezsh / convert-delimiters.py
Created May 7, 2019 21:04
tex-convert-delimiters, rewrite by Erez
# Based on https://github.com/j2kun/tex-convert-delimiters/blob/master/convert-delimiters.py
# A response to https://jeremykun.com/2019/04/20/a-working-mathematicians-guide-to-parsing/
import sys
from lark import Lark, Transformer
lark = Lark(r'''
tex: (mathmode_offset | mathmode_inline | TEXT)+
mathmode_offset: OFFSETDOLLAR TEXT+ OFFSETDOLLAR | OFFSETOPEN TEXT+ OFFSETCLOSE