Alternatives and similar repositories for PDFGitPolyglot

Users that are interested in PDFGitPolyglot are comparing it to the libraries listed below

• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆79Updated 3 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆82Updated 3 weeks ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• numinit / wizpen
  A font based on the Pigpen cipher, originally used to help liberate Wraxnia from the Fangs in a D&D campaign. Works in LaTeX.
  ☆15Updated 6 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆27Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• alltom / dirgui
  turn a directory into a GUI, slash example of VNC-based GUI
  ☆32Updated 4 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 4 months ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆198Updated last year
• robsimmons / sketchzone
  Quality-of-life for fiddly little JS apps that modify user-generated text
  ☆19Updated 9 months ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated last month
• someodd / waffle
  Haskell Gopher Protocol TUI Client 🧇
  ☆22Updated last year
• malleable-systems / malleable.systems
  Website for the malleable systems and software community
  ☆62Updated 6 months ago
• Xe / when-then-zen
  Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gh…
  ☆156Updated 2 years ago
• organix / uFork
  A pure-actor virtual machine with object-capabilities and memory-safety.
  ☆89Updated last week
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆69Updated 2 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 3 years ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆75Updated 2 years ago
• aisamanra / rrecutils
  A pure Rust implementation of the GNU Recutils format
  ☆27Updated 7 years ago
• blackle / LZMA-Vizualizer
  visualizer to see which parts of an lzma compressed file took the most number of bytes
  ☆32Updated 6 months ago
• project-everest / everest
  ☆202Updated 2 weeks ago
• librestack / librecast
  Librecast is a project to provide fast, efficient and scalable communication by leveraging IPv6 multicast.
  ☆58Updated last year
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 6 months ago
• ocapn / ocapn
  General planning and documentation repository for the OCapN protocol suite for distributed networked objects
  ☆201Updated 2 weeks ago