Pinned Loading

1. faq-praxisphase-abschlussarbeit faq-praxisphase-abschlussarbeit Public

   FAQ: Praxisphase und Abschlussarbeit

   Makefile 1

2. pandoc-thesis pandoc-thesis Public template

   Pandoc Thesis Template: A Template for Thesis Documents written in Markdown

   TeX 95 25

3. Essentials-of-Compilation Essentials-of-Compilation Public

   Forked from IUCompilerCourse/Essentials-of-Compilation

   A book about compiling Racket and Python to x86-64 assembly

   TeX

4. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   An introduction to programming language theory in Agda

   Agda

5. craftinginterpreters craftinginterpreters Public

   Forked from munificent/craftinginterpreters

   Repository for the book "Crafting Interpreters"

   HTML

6. pandoc-lecture-zen pandoc-lecture-zen Public

   Pandoc-Lecture-Zen: This action will run the new Pandoc-Lecture toolchain from https://github.com/cagix/pandoc-lecture-zen (Ubuntu runner only)

   Lua 1