Pinned Loading

1. initPC initPC Public

   🛠 A collection of C++, Python & Rust development-oriented config scripts to quickly init new machines 💻 for my personal use. Dotfiles are in a separate repository here: https://github.com/jan-revay…

   Shell 12 4

2. dotfiles dotfiles Public

   ⚙️ Linux dotfiles managed via bare git repository. This repo is meant to be used together with the iniPC script here: https://github.com/jan-revay/initPC

   Shell 3 2

3. Teaching Teaching Public

   Learning resources for my students

   1

4. initPC_Windows initPC_Windows Public

   🛠 A collection of C++, Python & Rust development-oriented Windows config scripts to quickly init new machines 💻 for my personal use. Dotfiles are in a separate repository here: https://github.com/j…

   PowerShell 1