ESultanik / PDFGitPolyglotLinks
In which a PDF is a Git Repository Containing its own LaTeX Source and a Copy of Itself
☆35Updated 8 years ago
Alternatives and similar repositories for PDFGitPolyglot
Users that are interested in PDFGitPolyglot are comparing it to the libraries listed below
Sorting:
- optimize your home bar with ✨logic programming✨☆81Updated 4 years ago
- 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 7 years ago
- Using z3's never been easier (maybe)☆102Updated 4 years ago
- This is not a license of honor. No highly esteemed copyright statement is written here.☆134Updated 5 years ago
- Tools to highlight the (in)accessibility of my Twitter timeline☆27Updated 3 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆82Updated 8 years ago
- A language for pipe-based programming☆53Updated 3 years ago
- turn a directory into a GUI, slash example of VNC-based GUI☆32Updated 5 years ago
- Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gh…☆158Updated 2 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Entish is a declarative Datalog-like language for formal RPG rules☆93Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated last week
- General planning and documentation repository for the OCapN protocol suite for distributed networked objects☆211Updated last week
- things that don't deserve their own repo☆63Updated 7 months ago
- A simple program reducer for any language.☆77Updated 2 years ago
- visualizer to see which parts of an lzma compressed file took the most number of bytes☆33Updated 8 months ago
- ruin the sanctity of your printer with ONE WEIRD TRICK☆69Updated last year
- Proof-of-concept prototype for Userland☆159Updated 3 years ago
- Website for the malleable systems and software community☆64Updated 3 weeks ago
- WIP: Automating doom-scrolling☆47Updated 2 months ago
- a co-programming / pair-programming twitch stream setup using H264/OPUS RTP (like WebRTC does)☆87Updated 5 years ago
- PGP key poisoner☆37Updated 6 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last month
- The "State considered harmful" paper☆109Updated 10 years ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- Font patcher to using shaping tricks to make it easier to pick out digit groups in numbers without commas☆121Updated 2 years ago
- Gesture-based text editor (and shell) for the reMarkable tablet☆81Updated 9 months ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆27Updated last year
- Bootstrap compiler☆44Updated 6 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago