Pinned Loading

1. tome tome Public

   Natural deduction in Agda

   Agda 7

2. dotfiles dotfiles Public

   M4

3. derekelkins/agda-vim derekelkins/agda-vim Public

   Agda interaction in vim

   Vim Script 132 48

4. Batch rename files using your editor Batch rename files using your editor

   1

   #!/usr/bin/env python3

   2

   3

   import os

   4

   import subprocess

   5

   import tempfile

5. Python proposals Python proposals

   1

   Python Proposals

   2

   ================

   3

   4

   `cast` decorator

   5

   ----------------

6. dyad dyad Public

   Useful scripts to go in ~/bin (but they aren't binary)

   Shell