ESultanik / PDFGitPolyglot

Related projects ⓘ

Alternatives and complementary repositories for PDFGitPolyglot

• ianthehenry / mixologician
  optimize your home bar with ✨logic programming✨
  ☆75Updated 2 years ago
• aisamanra / rrecutils
  A pure Rust implementation of the GNU Recutils format
  ☆26Updated 6 years ago
• alltom / dirgui
  turn a directory into a GUI, slash example of VNC-based GUI
  ☆32Updated 3 years ago
• alexwlchan / highlight-twitter-alt-text
  Tools to highlight the (in)accessibility of my Twitter timeline
  ☆27Updated 2 years ago
• osresearch / cosign
  Cooperative RSA signing
  ☆25Updated 4 years ago
• PlanetAPL / openAPL
  ☆21Updated 7 years ago
• joelonsql / reason-re-nfa
  ReasonML code to construct an NFA from a regular expression
  ☆23Updated 5 years ago
• enkiv2 / misc
  things that don't deserve their own repo
  ☆63Updated 5 months ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• halcy / Mastodon-LaTeXclient
  Mastodon LaTeX Client
  ☆23Updated 6 years ago
• PolySync / libsel4-sys
  Building seL4 and generating Rust bindings based on feL4 configuration
  ☆21Updated 6 years ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆30Updated 2 years ago
• slerpyyy / enderbin
  Linux File System Game
  ☆12Updated 5 years ago
• ocapn / ocapn
  General planning and documentation repository for the OCapN protocol suite for distributed networked objects
  ☆162Updated this week
• begriffs / utofu
  Unicode Trust on First Use (TOFU)
  ☆28Updated 5 years ago
• prg-titech / magritte
  A language for pipe-based programming
  ☆51Updated last year
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆37Updated 2 years ago
• void4 / rarvm
  Resource Aware, Recursive Virtual Machine
  ☆10Updated 2 years ago
• arnoldrobbins / dformat
  Jon Bentley's DFORMAT troff preprocessor, reconstituted.
  ☆52Updated 3 years ago
• wattwisegames / watt-wiser
  Tools to measure and visualize energy use on desktop computers
  ☆72Updated 3 weeks ago
• lofirepo / ocaml-p2p
  Collection of composable P2P libraries
  ☆25Updated 3 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆69Updated last month
• NattyNarwhal / LobstersNntp
  Lobsters NNTP gateway
  ☆19Updated 3 years ago
• cdglabs / tableVision
  ☆18Updated 9 years ago
• ocapn / syrup
  Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.
  ☆20Updated 6 months ago