An agent skill that guide AI agents to write Typst
☆75Jan 31, 2026Updated 2 months ago
Alternatives and similar repositories for typst-skills
Users that are interested in typst-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 一起来数三角形吧！☆10Jun 27, 2024Updated last year
- Environment control for benchmarks☆14Feb 10, 2025Updated last year
- A TUI signal waveform viewer.☆23Mar 27, 2025Updated last year
- Source code for the paper: "Pantheon: Preemptible Multi-DNN Inference on Mobile Edge GPUs"☆16Apr 15, 2024Updated 2 years ago
- Typst 东南大学论文模板 | UNOFFICIAL Typst Thesis Templates for Southeast University | a.k.a `cheda-seu-thesis`☆43Jul 21, 2025Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 北航编译原理 2020 课设 / BUAA Compiler 2020 / Naive speedrun useless compiler☆14Oct 23, 2022Updated 3 years ago
- Upgrade your typst packages☆22Mar 27, 2026Updated 2 weeks ago
- A package that helps you to specify different numbering formats for different levels of headings.☆28Nov 2, 2024Updated last year
- 第六届龙芯杯混元形意太极门战队作品☆18May 15, 2022Updated 3 years ago
- My blog☆11Jul 6, 2025Updated 9 months ago
- A small RISC-V kernel coding by C, tested on sifive unmatched board.☆16Aug 20, 2022Updated 3 years ago
- RISC-V VM in Bash☆29Apr 3, 2025Updated last year
- A Verilog module for disassembling MIPS code.☆16Dec 10, 2022Updated 3 years ago
- 2022华为毕昇杯-喵喵队仰卧起坐-参赛作品☆17Dec 25, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 编译理论课作业 （正则表达式与有穷自动机）辅助工具☆14Dec 7, 2022Updated 3 years ago
- Fix indent of first paragraph in typst.☆26Nov 12, 2024Updated last year
- MIPS OS on R3000 (course assignment for BUAA-Operating-System)☆23Mar 16, 2022Updated 4 years ago
- A minimal user-space OSPF implementation on Linux based on Raw Sockets | BUAA 计网实验 套件三项目☆18Jul 5, 2023Updated 2 years ago
- ☆39Nov 28, 2024Updated last year
- Linux-capable out-of-order superscaler multicore LoongArch32 (LA32 / LA32R) processor.☆34Aug 9, 2024Updated last year
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- 天猫爬虫☆17Feb 4, 2013Updated 13 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 4 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 3 months ago
- Implementation of several grid routers in Rust☆13Apr 7, 2026Updated last week
- simple Elf disassembler☆11Dec 30, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆27Jul 24, 2025Updated 8 months ago
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Mar 8, 2026Updated last month
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- A Customed Operating System with a Shell for MIPS R3000, Ported from JOS☆23Jul 10, 2018Updated 7 years ago
- low-level Capstone system bindings for Rust☆13Feb 15, 2019Updated 7 years ago