A PowerPoint add-in that splits slides according to slideshow-time animation effects
☆414Apr 19, 2024Updated 2 years ago
Alternatives and similar repositories for PPspliT
Users that are interested in PPspliT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- ☆23Jul 18, 2019Updated 6 years ago
- Python toolkit to access a Zotero library☆12Feb 9, 2019Updated 7 years ago
- Website of the course Sustainable Software Engineering☆23Apr 9, 2026Updated 3 weeks ago
- the Docker image for running MiKTeX☆44Jun 13, 2024Updated last year
- 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.
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- Color cycle picker with CVD simulation☆23Jul 15, 2020Updated 5 years ago
- ☆16Jul 9, 2024Updated last year
- ICS seminar 6, 2019 Fall☆11Dec 26, 2019Updated 6 years ago
- KtikZ provides a nice user interface for making pictures using TikZ.☆390Jul 28, 2025Updated 9 months ago
- Lecture notes from Introduction to Conformal Field Theory course given by Dr. Tobias Osborne.☆16Sep 7, 2021Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- A tracing tool to analyze the I/O behavior of a program.☆12Sep 25, 2019Updated 6 years ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 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.
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- SleepLM: Natural-Language Intelligence for Human Sleep☆35Mar 10, 2026Updated last month
- modified aa.bst with clickable url link in the bibliography☆43Jan 22, 2026Updated 3 months ago
- A PowerPoint add-in to insert LaTeX equations into PowerPoint presentations on Windows and Mac☆1,370Apr 1, 2026Updated 3 weeks ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Mar 29, 2026Updated last month
- The collection of papers about Private Evolution☆18Mar 23, 2026Updated last month
- This is a LaTeX class (with companion MathJax component) aimed towards formatting homework.☆15Aug 25, 2025Updated 8 months ago
- A cool text editor for authors☆19Oct 23, 2018Updated 7 years ago
- NetBricks: A new network function framework based on Rust.☆12Jan 2, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Python code for training models in the ACL paper, "Simple and Effective Paraphrastic Similarity from Parallel Translations".☆22Oct 3, 2019Updated 6 years ago
- 🛠Robust SSH: auto-reconnect SSH session that preserves your running shell and command. Intuitive, no server-side setup, aimed at simplic…☆13Nov 14, 2025Updated 5 months ago
- Shorthand column notations for tables in Typst.☆17Oct 30, 2025Updated 5 months ago
- Particles-in-UNstructured-Cells, C++ version☆14Apr 9, 2021Updated 5 years ago
- BlueDBM hw/sw implementation using the bluespecpcie PCIe library☆12Dec 25, 2022Updated 3 years ago
- How to config OpenWrt in PKU☆17Oct 3, 2022Updated 3 years ago
- Restoring Execution Environments of Jupyter Notebooks☆21May 29, 2023Updated 2 years ago
- Green Software Tool Landscape provided by the German organization Bundesverband Green Software.☆20Apr 7, 2026Updated 3 weeks ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆62Feb 25, 2025Updated last year
- 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.
- An emerging unifying standard for understanding, quantifying, and reducing carbon emissions from an organisation's technology landscape. …☆23Jan 16, 2026Updated 3 months ago
- A clean academic curriculum vitae (CV) template using Typst and YAML☆27May 3, 2025Updated 11 months ago
- iMLBench is a machine learning benchmark suite targeting CPU-GPU integrated architectures.☆11May 29, 2021Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors☆647Mar 3, 2026Updated last month
- Physical Units for TypeScript☆25Updated this week
- ☆46Dec 31, 2025Updated 4 months ago