PinnedLoading

1. LoopInvGenLoopInvGenPublic archive

   Generates loop invariants for program verification

   OCaml 62 20

2. pseudocode.jspseudocode.jsPublic

   Beautiful pseudocode for the Web

   JavaScript 237 33

3. saswatpadhi.github.iosaswatpadhi.github.ioPublic

   Code for my personal webpage.

   HTML 2 1

4. prismjs-bibtexprismjs-bibtexPublic

   A language definition for BibTeX in the PrismJS syntax highlighting framework.

   JavaScript 2

5. padhi-homelab/servicespadhi-homelab/servicesPublic

   Shell 3

6. padhi-homelab/docker_alpine-basepadhi-homelab/docker_alpine-basePublic

   A tiny multiarch Alpine Linux Docker image with an init system, a modular entrypoint, and automatic privilege lowering.

   Shell 1 2