A tool for the dual-head presentation of PDF slides on Mac OS X, most likely using a laptop and a projector. The project arose out of the need to correctly project slides created with LaTeX's beamer class.
☆142Jan 12, 2020Updated 6 years ago
Alternatives and similar repositories for splitshow
Users that are interested in splitshow are comparing it to the libraries listed below
Sorting:
- A dual-screen presentation tool for PDF slides with a presenter screen☆16Apr 29, 2016Updated 9 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Library for solving packages and reading repositories (superseded by libsolv)☆11Oct 10, 2019Updated 6 years ago
- High-Performance Structured Linear Operators☆13May 17, 2018Updated 7 years ago
- ☆11Jul 8, 2020Updated 5 years ago
- Quick Generalized Full Matching in R☆11Nov 29, 2023Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- ☆15Sep 26, 2020Updated 5 years ago
- ☆18May 10, 2022Updated 3 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- Lyrics Widget for macOS Notification Center☆14Mar 24, 2020Updated 5 years ago
- Simple public key distribution for your infrastructure.☆16Nov 21, 2025Updated 3 months ago
- SimpleCap 1.2☆27Oct 13, 2019Updated 6 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- A modern LaTeX Beamer theme☆6,793Nov 23, 2022Updated 3 years ago
- A declarative DSL for reading and writing binary file formats in Clojure.☆52Aug 23, 2011Updated 14 years ago
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 4 months ago
- Some Lustre program examples☆22Jul 8, 2025Updated 8 months ago
- Abelardo Jara-Berrocal's Emacs configuration files☆16Oct 19, 2025Updated 4 months ago
- Displays the current time on your macOS desktop☆22May 20, 2023Updated 2 years ago
- yFi App is a small macOS status bar application that helps you keep a good WiFi connection.☆22Aug 26, 2023Updated 2 years ago
- a mac app that switches your wallpaper for light and dark mode.☆20Jan 14, 2021Updated 5 years ago
- A presenter console with multi-monitor support for PDF files.☆1,793Sep 5, 2025Updated 6 months ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- my phd thesis☆26Aug 7, 2024Updated last year
- A simple interface to add right-click extensions to your app via Right Click Booster.☆20Sep 23, 2015Updated 10 years ago
- Dual-Screen PDF Viewer for latex-beamer☆234Apr 27, 2023Updated 2 years ago
- ☆29Jun 23, 2022Updated 3 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Nov 24, 2025Updated 3 months ago
- 👹 A library for hierarchical names and lexical scoping☆26Nov 21, 2025Updated 3 months ago
- ☆25Feb 25, 2016Updated 10 years ago
- Degrees of freedom adjustments for robust standard errors described in Imbens and Kolesár (2016, Review of Economics and Statistics)☆31Dec 19, 2024Updated last year
- A Javascript implementation of Astronomical Algorithms by Jean Meeus☆12Feb 14, 2015Updated 11 years ago
- ☆39Oct 23, 2021Updated 4 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 years ago
- Mechanizations of Type Theories☆35Jan 15, 2026Updated last month
- A protobuf plugin to generate parquet schemas.☆13Mar 9, 2022Updated 4 years ago
- ☆12Jul 10, 2018Updated 7 years ago
- Legacy official MegaZeux git repository. Use http://github.com/AliceLR/megazeux instead.☆14Jul 19, 2018Updated 7 years ago