rqy2002 / typst-experiment
Some experimental Typst files.
☆14Updated last year
Alternatives and similar repositories for typst-experiment:
Users that are interested in typst-experiment are comparing it to the libraries listed below
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 2 months ago
- Lean 定理证明☆11Updated 2 months ago
- VSCode extension for bTeX.☆20Updated last year
- ☆46Updated 11 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆24Updated last week
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated last year
- Forge wonderful chat messages in typst☆83Updated last month
- Typst blog template based on Zola, typst.ts, and apollo.☆29Updated 5 months ago
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- _rqy's codes of OI problems.☆27Updated 6 years ago
- ntype cafe summer school resources☆137Updated 7 months ago
- A TypeScript library rendering chemistry strutures to SVG☆10Updated 4 months ago
- 一个 有很多新增 feature 的 UOJ☆22Updated 3 years ago
- NOI Linux in Windows WSL 2☆11Updated last year
- ☆22Updated last year
- Zombie chan revive!☆24Updated 11 months ago
- 打打 bot☆14Updated this week
- A Brainfuck interpreter written by Brainfuck.☆53Updated 6 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆65Updated last year
- Modern asynchronous version management system☆10Updated 10 months ago
- A programmer who is not good at Chinese is not a advanced middle school student.☆17Updated 4 years ago
- ☆20Updated 3 months ago
- 《Fonts and Layout for Global Scripts》中文版。一本关于字体设计、Unicode和计算机中复杂文本处理的免费书籍。☆36Updated 7 months ago
- IOI 2020 集训队作业☆24Updated 5 years ago
- API of LuoGu☆33Updated 4 years ago
- USTC OSH 2024 Course Homepage☆12Updated 8 months ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- preview your typst document in instant☆28Updated last year
- The next generation SYZOJ server, written in Go☆21Updated 5 years ago