edemaine / reveal-pug-talkLinks
Template for RevealJS talk slides using Pug, KaTeX, Stylus, CoffeeScript, SVG Tiler, SVG.js
☆17Updated 3 years ago
Alternatives and similar repositories for reveal-pug-talk
Users that are interested in reveal-pug-talk are comparing it to the libraries listed below
Sorting:
- Beautiful pseudocode for the Web☆235Updated last year
- Write markdown-like tables easily.☆55Updated 3 months ago
- Most influential papers in programming languages☆57Updated 4 months ago
- Forge wonderful chat messages in typst☆88Updated 4 months ago
- ☆163Updated 3 months ago
- A collection of presets/templates for my personal Typst writing☆27Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- 一份基于 typst 的简历模板☆68Updated last year
- ntype cafe summer school resources☆139Updated 11 months ago
- LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/☆407Updated 4 months ago
- Simple enough but expressive template for notes, reports, and documents for Typst.☆23Updated this week
- A template for creating beamer in Typst☆40Updated last week
- Static site generator(SSG) for typst☆42Updated this week
- The MOSAIC Operating Systems Model and Checker☆192Updated 2 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated last year
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆210Updated 2 months ago
- A simple resume template written in Typst☆63Updated 3 months ago
- The Legrand Orange Book implemented in Typst☆104Updated last month
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- A Typst-friendly static Zettelkästen site generator.☆70Updated this week
- 😍 Rip-off of rip-off of skyzh's CV, using typst☆140Updated 7 months ago
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago
- Relative positioning by pins, especially useful for making slides in typst.☆250Updated 2 weeks ago
- Coq集合论中文教程☆44Updated 3 years ago
- A Typst package for creating colorful and customizable boxes☆104Updated 3 months ago
- formal language and automata☆19Updated 5 months ago
- ☆48Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆19Updated 2 months ago
- A modern LaTeX Beamer theme☆63Updated 3 years ago
- History of type theory (Chinese).☆346Updated 2 weeks ago