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:
- A sample project illustrating how to write and distribute SageMath extensions☆17Updated 2 years ago
- ☆28Updated 2 years ago
- REPL for C preprocessor of C++17☆10Updated 3 weeks ago
- A System for Differential Debugging☆21Updated 4 months ago
- Parallel Delta Debugging Framework☆53Updated 7 months ago
- Code repo for https://benhoyt.com/writings/io-is-no-longer-the-bottleneck/☆14Updated 2 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Updated 7 years ago
- Tool to merge static libraries and hide their private symbols☆47Updated 5 months ago
- Read-only mirror. Please submit merge requests / issues to https://gitlab.com/libvirt/libvirt-sandbox☆12Updated last year
- ☆23Updated 8 months ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 3 years ago
- A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.☆12Updated 3 years ago
- BUSE: Block device in user space☆15Updated 3 years ago
- pure-python C types packer/unpacker☆18Updated 5 years ago
- tar analysis tool☆21Updated 4 months ago
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆12Updated 6 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆30Updated last year
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last month
- Blogging is a go!☆11Updated 2 weeks ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- TexLive programs bundled into a single static binary for x86_64-linux / WASM☆51Updated 4 months ago
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- ☆28Updated last month
- strace to json parser☆37Updated 6 years ago
- A high performance metrics daemon☆28Updated 3 months ago
- Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream☆24Updated this week
- Generate Serialization Functions for C++ classes and structs using python and libclang☆12Updated 7 years ago
- Fast parallel random access to bzip2 and gzip files in Python☆79Updated this week
- A list of C static analysis tools☆12Updated 8 years ago
- ☆13Updated 4 months ago