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…

   HTML 10 3

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

3. windows_dotfiles windows_dotfiles Public

   Microsoft Windows ⊞ 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

   2

4. cmake_template-WIP cmake_template-WIP Public template

   1

5. Teaching Teaching Public

   Learning resources for my students

   1