ESultanik / PDFGitPolyglot
In which a PDF is a Git Repository Containing its own LaTeX Source and a Copy of Itself
☆32Updated 7 years ago
Alternatives and similar repositories for PDFGitPolyglot:
Users that are interested in PDFGitPolyglot are comparing it to the libraries listed below
- optimize your home bar with ✨logic programming✨☆75Updated 3 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆80Updated 7 years ago
- Notes on P-omega☆14Updated 7 years ago
- Using z3's never been easier (maybe)☆100Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆23Updated 5 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Website for the malleable systems and software community☆60Updated 3 weeks ago
- Brainfuck with Actors☆36Updated 6 years ago
- A language for pipe-based programming☆52Updated 2 years ago
- Render diagrams to Braille☆29Updated 3 months ago
- wireguard but this time it's in ocaml☆1Updated 5 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.☆13Updated 6 years ago
- Bootstrap compiler☆44Updated 5 years ago
- A bare-metal actor operating system for Raspberry Pi.☆69Updated last year
- A stand-alone 'cd' binary for Linux/i386☆25Updated 5 years ago
- ☆17Updated 5 years ago
- T1 Main Web Site☆14Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- things that don't deserve their own repo☆64Updated last month
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Prepared statement support for the system command☆29Updated 4 years ago
- run z3 on iOS for some reason☆38Updated 2 years ago
- Haskell Gopher Protocol TUI Client 🧇☆22Updated 10 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Algorithm for locating anagrams and evaluating their quality☆13Updated 7 years ago
- Cooperative RSA signing☆25Updated 4 years ago
- Unicode Trust on First Use (TOFU)☆28Updated 5 years ago
- MH: a microkernel for fun and experimenting!☆30Updated 6 years ago