Alternatives and similar repositories for pdf-webslides

Users that are interested in pdf-webslides are comparing it to the libraries listed below

• sagemath / sage_sample
  A sample project illustrating how to write and distribute SageMath extensions
  ☆16Updated 3 years ago
• conda-forge / qt-feedstock
  A conda-smithy repository for qt.
  ☆12Updated 9 months ago
• PhelypeOleinik / lipsum
  150 paragraphs of Lorem ipsum dummy text for LaTeX
  ☆15Updated 2 years ago
• Mathics3 / Mathics3-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆33Updated 4 months ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 11 months ago
• systems-nuts / dynamic_to_static
  Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema
  ☆12Updated 6 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆34Updated last year
• podinx / PQEMU
  A parallel multi-core system emulator based on QEMU
  ☆19Updated 13 years ago
• vusec / LookUB
  ☆14Updated last year
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆34Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 years ago
• marijnheule / matrix-challenges
  Challenging SAT benchmarks for matrix multiplication
  ☆11Updated 4 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆54Updated 2 months ago
• TartanLlama / dwarbf
  A Brainfuck interpreter embedded inside DWARF debug information
  ☆40Updated last year
• sd-visualiser / sd-visualiser
  String diagram visualiser
  ☆16Updated last week
• messer-cpp / messer
  REPL for C preprocessor of C++17
  ☆10Updated 6 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆23Updated 3 years ago
• google / zuckerli
  ☆28Updated 3 years ago
• compiler-research / idd
  A System for Differential Debugging
  ☆22Updated 10 months ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated this week
• libvirt / libvirt-sandbox
  Read-only mirror. Please submit merge requests / issues to https://gitlab.com/libvirt/libvirt-sandbox
  ☆13Updated 2 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated this week
• sc0ty / grip
  Indexed grep
  ☆20Updated 2 years ago
• ossf / Memory-Safety
  ☆33Updated 5 months ago
• marty1885 / landlock-unveil
  OpenBSD unveil(2) like function in Linux using Landlock
  ☆40Updated last month
• AmrDeveloper / LLQL
  LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…
  ☆64Updated last week
• lexected / astir
  A flexible parser generator producing output from object-oriented hierarchical context-free grammar specifications.
  ☆12Updated 4 years ago
• securesystemslab / LLVM-MCA-Daemon
  ☆22Updated 10 months ago
• true-grue / python-dsls
  Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023
  ☆21Updated 2 years ago
• fedora-llvm-team / llvm-snapshots
  Everything to build LLVM snapshots for Fedora/RHEL/CentOS Stream
  ☆24Updated this week