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✨
  ☆78Updated 3 years ago
• alltom / dirgui
  turn a directory into a GUI, slash example of VNC-based GUI
  ☆32Updated 4 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• prg-titech / magritte
  A language for pipe-based programming
  ☆53Updated 2 years ago
• shawwn / arc
  ☆11Updated 7 years ago
• malleable-systems / malleable.systems
  Website for the malleable systems and software community
  ☆63Updated 4 months ago
• sergeybratus / HammerPrimer
  Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
  ☆81Updated 8 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• robur-coop / caldav
  Calendar server (CalDAV, RFC 4791) implementation in OCaml
  ☆60Updated 4 months ago
• robur-coop / unipi
  Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel
  ☆64Updated 2 months ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 3 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆26Updated last year
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆69Updated 2 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆68Updated last year
• 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
• colis-anr / morbig
  A static parser for POSIX Shell
  ☆194Updated last year
• shazow / communal
  WIP: Automating doom-scrolling
  ☆45Updated last year
• marcsAtSkyhunter / Capper
  A web application server with built-in object capability security built on Node.js/Express
  ☆15Updated 4 years ago
• alexwennerberg / gourami
  A decentralized social network for the small web, implemented in ActivityPub
  ☆93Updated 5 years ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 5 years ago
• ocapn / ocapn
  General planning and documentation repository for the OCapN protocol suite for distributed networked objects
  ☆188Updated last week
• soatok / faq-off
  Gamebook-style Q&A Platform - Tell sea lions and mob harassers to FAQ Off!
  ☆34Updated 4 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆64Updated 2 months ago
• osnr / tabssh
  📡 ssh into browser tab.
  ☆76Updated 4 years ago
• imbal / rson
  ReStructured Object Notation
  ☆21Updated 3 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆24Updated 6 years ago
• robertswiecki / extcd
  A stand-alone 'cd' binary for Linux/i386
  ☆25Updated 5 years ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆124Updated 5 years ago
• mnemnion / ax
  An Algebraic, Executable Ur Machine
  ☆37Updated 6 years ago