Skip to content

QuarticCat/detypify

Folders and files

NameName
Last commit message
Last commit date

Latest commit

9616fed · Jan 7, 2025

History

89 Commits
Apr 19, 2024
Apr 19, 2024
Apr 15, 2024
Apr 23, 2024
Apr 19, 2024
May 11, 2024
Apr 15, 2024
May 14, 2024
May 11, 2024
Jan 7, 2025
Apr 5, 2024
Apr 7, 2024
Mar 20, 2024
Mar 20, 2024
Jan 7, 2025
May 9, 2024
May 11, 2024
Jan 7, 2025
Mar 28, 2024
Mar 28, 2024
May 14, 2024

Repository files navigation

logo

Detypify

Can't remember some Typst symbol? Draw it!

Features

  • PWA: installable and works offline
  • Tiny model: 1.3 MiB (ONNX), fast to load and run
  • Decent symbol set: support 400+ symbols

News

  • 2024-04-06: This project has been integrated into Tinymist.

Associated Repos

  • detypify-data: Detypify's own dataset (your contributions on the website finally go here)
  • detypify-external: Necessary external data to bootstrap Detypify

Use As A Library

Use the detypify-service NPM package.

Self Deployment

Download files from gh-pages branch and host them using any HTTP server.

Development

If you want to build migrate or train, you need to pull submodules. (Git LFS is required)

$ git submodule update --init --recursive

If you just want to build web, you can download train-out from NPM to project root.

Migrating

$ uv sync              # install venv and denpendencies
$ uv run migrate       # migrate
$ uv run migrate-font  # strip font (optional)

Training

$ uv sync       # install venv and denpendencies
$ uv run train  # train

Web Page

$ bun run --cwd=service copy  # copy train-out folder
$ bun install                 # install dependencies
$ bun run dev                 # start dev server
$ bun run build               # build for production

Logo & Favicons (Optional)

  1. Install NewComputerModernMath font (guide).

  2. Convert manuscript.svg.

    $ cd assets
    $ inkscape manuscript.svg --export-text-to-path --export-filename=logo.svg
    $ bunx svgo --multipass logo.svg
  3. Generate favicons by Favicon InBrowser.App using logo.svg.

  4. Move them to web/public/icons.

License

MIT