misc0110 / pdf-webslidesLinks
Convert PDF presentations to HTML, including presenter mode
☆18Updated last year
Alternatives and similar repositories for pdf-webslides
Users that are interested in pdf-webslides are comparing it to the libraries listed below
Sorting:
- Debugger in the Trepan family for x-python☆17Updated this week
- 150 paragraphs of Lorem ipsum dummy text for LaTeX☆15Updated last year
- Issues related to the tagging project☆62Updated last week
- A System for Differential Debugging☆21Updated 5 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- ☆31Updated last month
- A conda-smithy repository for qt.☆12Updated 4 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Terminal CLI to Mathics3☆60Updated 3 weeks ago
- GCC plugin for C language that tracks references to allocated objects☆28Updated 4 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 7 months ago
- git-svn mirror of the TUGboat repository☆13Updated last week
- The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).☆20Updated 4 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆30Updated 4 months ago
- strace to json parser☆38Updated 6 years ago
- Add ipython magic to call python trepan☆13Updated 5 years ago
- Parallel Delta Debugging Framework☆53Updated last week
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated 2 months ago
- BUSE: Block device in user space☆15Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 2 months ago
- A Brainfuck interpreter embedded inside DWARF debug information☆38Updated last year
- Multiroom meeting app integrating web tools☆48Updated last year
- Detect and invoke build systems☆21Updated this week
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- Code Continuity Analysis Framework☆22Updated 6 months ago
- Code repo for https://benhoyt.com/writings/io-is-no-longer-the-bottleneck/☆14Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated last year
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Updated 3 years ago
- Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream☆24Updated this week