matjp / dvi-decode
Decode DVI files generated by LuaTeX
☆10Updated last year
Related projects: ⓘ
- JavaScript-based translation of UnicodeMath to MathML that can be integrated into arbitrary HTML or Markdeep documents. An interactive "p…☆19Updated this week
- 🍔 Chen’s Private Cuisine Menu☆10Updated 3 months ago
- Julia implementation for Python Restrain JIT☆22Updated 3 years ago
- The root repository for the SpectralSequences project.☆25Updated 3 weeks ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated this week
- A library for typesetting mathematical theorems in typst.☆14Updated 3 weeks ago
- Typst blog template based on Zola, typst.ts, and apollo.☆24Updated 2 weeks ago
- Xy-pic extension for MathJax version 3☆34Updated 2 years ago
- ☆17Updated 4 months ago
- Interfacing with Large Language Models (remote and local) from Lean.☆23Updated 2 months ago
- Commutative diagrams with TikZ☆45Updated last year
- Export presentation slides in various formats for Touying.☆21Updated 3 months ago
- Easy insertion of unicode math symbols☆47Updated last year
- Algorithm pseudocode typesetting library for Typst☆14Updated 4 months ago
- Format numbers, units, and ranges in Typst correctly.☆21Updated 3 months ago
- My plugins and packages for typst☆28Updated 2 months ago
- ☆16Updated 2 months ago
- ☆14Updated 8 months ago
- Device independent (DVI) file format parsing with node☆27Updated 4 months ago
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆32Updated 3 years ago
- A port of TeX82 to Rust. (WIP)☆33Updated 2 years ago
- Libraries and tools for topological and geometric modeling.☆19Updated 4 years ago
- Lean4 backend using `libgccjit`!☆11Updated 10 months ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 4 years ago
- Haskell library for parsing and evaluating typst☆41Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆26Updated last week
- A transpiler that converts TeX into Unicode (as possible).☆17Updated last month
- Convenient Rust-like string formatting in Typst (previously "typst-strfmt")☆26Updated 4 months ago
- RUst way for Reuse Analysis☆13Updated 5 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆21Updated this week