├── .gitignore ├── .gitmodules ├── .prettierignore ├── .python-version ├── LICENSE ├── README.md ├── assets ├── logo.svg ├── manuscript.svg └── supported-symbols.txt ├── bot └── __init__.py ├── bun.lockb ├── migrate ├── __init__.py └── font.py ├── package.json ├── pyproject.toml ├── service ├── README.md ├── index.d.ts ├── index.js └── package.json ├── svelte.config.js ├── tailwind.config.cjs ├── train └── __init__.py ├── vite.config.js ├── web ├── App.svelte ├── app.pcss ├── components │ ├── Alert.svelte │ ├── Candidate.svelte │ ├── Canvas.svelte │ ├── ContribPanel.svelte │ ├── NavBar.svelte │ └── Preview.svelte ├── index.html ├── main.js ├── public │ ├── CNAME │ ├── NewCMMath-Detypify.woff2 │ ├── icons │ │ ├── apple-touch-icon.png │ │ ├── favicon.ico │ │ ├── favicon.svg │ │ ├── pwa-192x192.png │ │ └── pwa-512x512.png │ └── robots.txt ├── store.js └── utils │ ├── Button.svelte │ ├── Card.svelte │ └── CopyButton.svelte └── worker ├── main.js ├── package.json ├── schema.sql └── wrangler.toml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/.gitmodules -------------------------------------------------------------------------------- /.prettierignore: -------------------------------------------------------------------------------- 1 | /data 2 | /external 3 | 4 | *.md 5 | -------------------------------------------------------------------------------- /.python-version: -------------------------------------------------------------------------------- 1 | 3.12.2 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/README.md -------------------------------------------------------------------------------- /assets/logo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/assets/logo.svg -------------------------------------------------------------------------------- /assets/manuscript.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/assets/manuscript.svg -------------------------------------------------------------------------------- /assets/supported-symbols.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/assets/supported-symbols.txt -------------------------------------------------------------------------------- /bot/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/bot/__init__.py -------------------------------------------------------------------------------- /bun.lockb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/bun.lockb -------------------------------------------------------------------------------- /migrate/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/migrate/__init__.py -------------------------------------------------------------------------------- /migrate/font.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/migrate/font.py -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/package.json -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/pyproject.toml -------------------------------------------------------------------------------- /service/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/service/README.md -------------------------------------------------------------------------------- /service/index.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/service/index.d.ts -------------------------------------------------------------------------------- /service/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/service/index.js -------------------------------------------------------------------------------- /service/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/service/package.json -------------------------------------------------------------------------------- /svelte.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/svelte.config.js -------------------------------------------------------------------------------- /tailwind.config.cjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/tailwind.config.cjs -------------------------------------------------------------------------------- /train/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/train/__init__.py -------------------------------------------------------------------------------- /vite.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/vite.config.js -------------------------------------------------------------------------------- /web/App.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/App.svelte -------------------------------------------------------------------------------- /web/app.pcss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/app.pcss -------------------------------------------------------------------------------- /web/components/Alert.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/components/Alert.svelte -------------------------------------------------------------------------------- /web/components/Candidate.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/components/Candidate.svelte -------------------------------------------------------------------------------- /web/components/Canvas.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/components/Canvas.svelte -------------------------------------------------------------------------------- /web/components/ContribPanel.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/components/ContribPanel.svelte -------------------------------------------------------------------------------- /web/components/NavBar.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/components/NavBar.svelte -------------------------------------------------------------------------------- /web/components/Preview.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/components/Preview.svelte -------------------------------------------------------------------------------- /web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/index.html -------------------------------------------------------------------------------- /web/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/main.js -------------------------------------------------------------------------------- /web/public/CNAME: -------------------------------------------------------------------------------- 1 | detypify.quarticcat.com 2 | -------------------------------------------------------------------------------- /web/public/NewCMMath-Detypify.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/public/NewCMMath-Detypify.woff2 -------------------------------------------------------------------------------- /web/public/icons/apple-touch-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/public/icons/apple-touch-icon.png -------------------------------------------------------------------------------- /web/public/icons/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/public/icons/favicon.ico -------------------------------------------------------------------------------- /web/public/icons/favicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/public/icons/favicon.svg -------------------------------------------------------------------------------- /web/public/icons/pwa-192x192.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/public/icons/pwa-192x192.png -------------------------------------------------------------------------------- /web/public/icons/pwa-512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/public/icons/pwa-512x512.png -------------------------------------------------------------------------------- /web/public/robots.txt: -------------------------------------------------------------------------------- 1 | User-agent: * 2 | Allow: / 3 | -------------------------------------------------------------------------------- /web/store.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/store.js -------------------------------------------------------------------------------- /web/utils/Button.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/utils/Button.svelte -------------------------------------------------------------------------------- /web/utils/Card.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/utils/Card.svelte -------------------------------------------------------------------------------- /web/utils/CopyButton.svelte: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/web/utils/CopyButton.svelte -------------------------------------------------------------------------------- /worker/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/worker/main.js -------------------------------------------------------------------------------- /worker/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/worker/package.json -------------------------------------------------------------------------------- /worker/schema.sql: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/worker/schema.sql -------------------------------------------------------------------------------- /worker/wrangler.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/QuarticCat/detypify/HEAD/worker/wrangler.toml --------------------------------------------------------------------------------