├── .envrc ├── .github ├── dependabot.yml ├── patch └── workflows │ ├── ci.yml │ ├── update-flake-lock.yml │ └── web-app.yml ├── .gitignore ├── .vscode ├── launch.json └── settings.json ├── Cargo.lock ├── Cargo.toml ├── Justfile ├── README.md ├── apps └── web-dioxus │ ├── .cargo │ └── config.toml │ ├── .gitignore │ ├── Cargo.lock │ ├── Cargo.toml │ ├── Dioxus.toml │ ├── README.md │ ├── build.rs │ ├── input.css │ ├── public │ ├── favicon.ico │ ├── logo.png │ ├── main.css │ └── tailwind.css │ ├── src │ ├── frontend.rs │ ├── inference.rs │ ├── main.rs │ └── model │ │ ├── mnist.onnx │ │ └── mod.rs │ └── tailwind.config.js ├── crates ├── compiler │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── world.rs └── dataset │ ├── Cargo.toml │ ├── README.md │ ├── process.sh │ └── src │ └── main.rs ├── flake.lock ├── flake.nix ├── out └── detypstify-ocr-for-formula-generation.pdf ├── paper ├── README.md ├── flakeModule.nix ├── logo.typ ├── main.bib ├── main.typ ├── neurips2023.typ └── typst.toml ├── poetry.lock ├── pyproject.toml ├── python.flakeModule.nix ├── rust.flakeModule.nix ├── scripts └── mk_formulas_txt.sh ├── symbols2svg ├── __init__.py └── symbols.txt └── train ├── __init__.py └── val_split.py /.envrc: -------------------------------------------------------------------------------- 1 | watch_file *.nix 2 | use flake 3 | -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.github/patch -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/update-flake-lock.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.github/workflows/update-flake-lock.yml -------------------------------------------------------------------------------- /.github/workflows/web-app.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.github/workflows/web-app.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.gitignore -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Justfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/Justfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/README.md -------------------------------------------------------------------------------- /apps/web-dioxus/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/.cargo/config.toml -------------------------------------------------------------------------------- /apps/web-dioxus/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/.gitignore -------------------------------------------------------------------------------- /apps/web-dioxus/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/Cargo.lock -------------------------------------------------------------------------------- /apps/web-dioxus/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/Cargo.toml -------------------------------------------------------------------------------- /apps/web-dioxus/Dioxus.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/Dioxus.toml -------------------------------------------------------------------------------- /apps/web-dioxus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/README.md -------------------------------------------------------------------------------- /apps/web-dioxus/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/build.rs -------------------------------------------------------------------------------- /apps/web-dioxus/input.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/input.css -------------------------------------------------------------------------------- /apps/web-dioxus/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/public/favicon.ico -------------------------------------------------------------------------------- /apps/web-dioxus/public/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/public/logo.png -------------------------------------------------------------------------------- /apps/web-dioxus/public/main.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/public/main.css -------------------------------------------------------------------------------- /apps/web-dioxus/public/tailwind.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/public/tailwind.css -------------------------------------------------------------------------------- /apps/web-dioxus/src/frontend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/src/frontend.rs -------------------------------------------------------------------------------- /apps/web-dioxus/src/inference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/src/inference.rs -------------------------------------------------------------------------------- /apps/web-dioxus/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/src/main.rs -------------------------------------------------------------------------------- /apps/web-dioxus/src/model/mnist.onnx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/src/model/mnist.onnx -------------------------------------------------------------------------------- /apps/web-dioxus/src/model/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/src/model/mod.rs -------------------------------------------------------------------------------- /apps/web-dioxus/tailwind.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/apps/web-dioxus/tailwind.config.js -------------------------------------------------------------------------------- /crates/compiler/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/crates/compiler/Cargo.toml -------------------------------------------------------------------------------- /crates/compiler/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/crates/compiler/src/lib.rs -------------------------------------------------------------------------------- /crates/compiler/src/world.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/crates/compiler/src/world.rs -------------------------------------------------------------------------------- /crates/dataset/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/crates/dataset/Cargo.toml -------------------------------------------------------------------------------- /crates/dataset/README.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/dataset/process.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/crates/dataset/process.sh -------------------------------------------------------------------------------- /crates/dataset/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/crates/dataset/src/main.rs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/flake.nix -------------------------------------------------------------------------------- /out/detypstify-ocr-for-formula-generation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/out/detypstify-ocr-for-formula-generation.pdf -------------------------------------------------------------------------------- /paper/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/README.md -------------------------------------------------------------------------------- /paper/flakeModule.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/flakeModule.nix -------------------------------------------------------------------------------- /paper/logo.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/logo.typ -------------------------------------------------------------------------------- /paper/main.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/main.bib -------------------------------------------------------------------------------- /paper/main.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/main.typ -------------------------------------------------------------------------------- /paper/neurips2023.typ: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/neurips2023.typ -------------------------------------------------------------------------------- /paper/typst.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/paper/typst.toml -------------------------------------------------------------------------------- /poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/poetry.lock -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/pyproject.toml -------------------------------------------------------------------------------- /python.flakeModule.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/python.flakeModule.nix -------------------------------------------------------------------------------- /rust.flakeModule.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/rust.flakeModule.nix -------------------------------------------------------------------------------- /scripts/mk_formulas_txt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/scripts/mk_formulas_txt.sh -------------------------------------------------------------------------------- /symbols2svg/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/symbols2svg/__init__.py -------------------------------------------------------------------------------- /symbols2svg/symbols.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/symbols2svg/symbols.txt -------------------------------------------------------------------------------- /train/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/train/__init__.py -------------------------------------------------------------------------------- /train/val_split.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/detypstify/typic/HEAD/train/val_split.py --------------------------------------------------------------------------------