ESultanik / PDFGitPolyglotLinks
In which a PDF is a Git Repository Containing its own LaTeX Source and a Copy of Itself
☆34Updated 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✨☆80Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 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 3 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆83Updated 2 months ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆82Updated 8 years ago
- turn a directory into a GUI, slash example of VNC-based GUI☆32Updated 4 years ago
- things that don't deserve their own repo☆63Updated 6 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆28Updated last year
- ReStructured Object Notation☆21Updated 3 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A simple program reducer for any language.☆76Updated 2 years ago
- Website for the malleable systems and software community☆63Updated 8 months ago
- A language for pipe-based programming☆53Updated 3 years ago
- A bare-metal actor operating system for Raspberry Pi.☆67Updated last week
- An Activitypub server in OCaml!☆69Updated 2 years ago
- Modeling DNS with Alloy☆37Updated 4 years ago
- Haskell Gopher Protocol TUI Client 🧇☆22Updated last year
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Like `sort | uniq -c | sort -rn` but better☆101Updated 2 months ago
- Brainfuck with Actors☆36Updated 6 years ago
- Prolog Home Page☆73Updated 6 months ago
- Meditation instructions from spiritual texts ripped out of the contexts of their spirituality and presented in the universal format of Gh…☆157Updated 2 years ago
- ☆11Updated 8 years ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆19Updated 11 months ago
- Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel☆71Updated 3 weeks ago
- An Algebraic, Executable Ur Machine☆37Updated 7 years ago
- A decentralized social network for the small web, implemented in ActivityPub☆93Updated 5 years ago
- Hash-based Diffing for AST's☆77Updated 5 years ago