Template for RevealJS talk slides using Pug, KaTeX, Stylus, CoffeeScript, SVG Tiler, SVG.js
☆19Apr 5, 2022Updated 4 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Run TLC in cmd☆15Jan 20, 2026Updated 9 months ago
- An edn library for python.☆11May 29, 2015Updated 11 years ago
- LITS: An Optimized Learned Index for Strings☆13Sep 30, 2026Updated last month
- Universal Online Judge (UOJ) 样题☆11Sep 23, 2022Updated 4 years ago
- lean-related presentations☆18Oct 21, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Omnibus Examples Collection☆10Apr 20, 2026Updated 6 months ago
- Persistent Bloom Filter☆12Jul 21, 2018Updated 8 years ago
- Codinfox theme for Zola static website generator☆11May 10, 2023Updated 3 years ago
- ☆10Oct 11, 2022Updated 4 years ago
- An extended platform release manager for Robot Operating System☆10Mar 2, 2025Updated last year
- Simple Object Storage☆11Nov 17, 2020Updated 5 years ago
- ☆12Apr 11, 2017Updated 9 years ago
- ☆15Apr 29, 2024Updated 2 years ago
- ☆10Oct 20, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Jun 16, 2026Updated 4 months ago
- Script for my explanation videos created with manim☆11May 31, 2023Updated 3 years ago
- A more Pragmatic Implementation of the Lock-free, Ordered, Linked List☆19Dec 20, 2020Updated 5 years ago
- unrolled skip list library for C☆22May 25, 2019Updated 7 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Syntax highlighting for Alda - a music programming language.☆14Sep 5, 2021Updated 5 years ago
- ☆16Mar 16, 2021Updated 5 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- High level model for MongoDB consistency☆15Oct 16, 2025Updated last year
- 南京大学gpa计算器,支持wes算法☆15Aug 15, 2023Updated 3 years ago
- A Minimum Working Example of the Dissertation Template for UW-Madison.☆14May 4, 2024Updated 2 years ago
- 印刷术!☆23Mar 17, 2024Updated 2 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- This repository contains style editors and generators.☆12Oct 8, 2025Updated last year
- Detailed explanation and c++ implementation of DC3 algorithm.☆14Oct 22, 2022Updated 4 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆18Dec 16, 2024Updated last year
- Claude Code + Codex 双平台 AI dotfiles:统一管理 skills/agents/hooks,并一键同步到 ~/.claude 与 ~/.codex。☆13Oct 17, 2026Updated last week
- 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.
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- Terminal music player like cmus, written in the Rust Programming Language☆19Nov 27, 2022Updated 3 years ago
- The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.☆11May 31, 2023Updated 3 years ago
- Fault injection and chaos testing all in one, sweet DSL.☆12Jan 26, 2026Updated 9 months ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- 基于opc所生成的小红书营销skill,搭配openclaw来实现小红书自动化捕获最新帖子,自动发送帖子自动回复评论等☆16Mar 18, 2026Updated 7 months ago
- Rust embedded-hal inter-version compatibility layer☆19May 13, 2026Updated 5 months ago