Skip to content
Change the repository type filter

All

    Repositories list

    • Convenient Abbreviated Git CLI Commands
      Shell
      1000Updated Oct 11, 2024Oct 11, 2024
    • cpd

      Public
      Find and change to project directories
      Python
      0000Updated Jun 28, 2024Jun 28, 2024
    • dot-home

      Public
      dot-home: Version-controlled Construction of Unix User Configuration
      Shell
      3500Updated Jan 5, 2024Jan 5, 2024
    • maude

      Public
      dot-home module to set up maude
      0000Updated Oct 26, 2017Oct 26, 2017