Pinned Repositories
aoc-2022-go
Advent of Code 2022 Solutions in Go
arch-box-system
This repository contains all files that are needed to reconfigure my current Arch Linux system.
everforest
🌲 Comfortable & Pleasant Color Scheme for Vim
fastapi-nginx-gunicorn-file-server
A simple file server that utilizes FastAPI, nginx and Gunicorn. It is implemented in Python.
friendly-snippets
Set of preconfigured snippets for different languages.
grpc-todo
Minimal gRPC based todo list tool.
isync
IMAP and Maildir synchronizer
isync-with-cli-passwords
This is a modification of the mbsync (isync) project with support for supplying passwords through stdin. This allows easier automation of
lazy-neovim-config
Elevate your Neovim experience with this customized LazyVim-based configuration, tailored to enhance productivity and streamline your workflow.
mailpi
Receive instant mobile notifications whenever new physical mail arrives in your mailbox. This project leverages a Raspberry Pi and a sensor to detect the presence of mail and sends a real-time alert to your mobile device.
MatteoGaetzner's Repositories
MatteoGaetzner/aoc-2022-go
Advent of Code 2022 Solutions in Go
MatteoGaetzner/arch-box-system
This repository contains all files that are needed to reconfigure my current Arch Linux system.
MatteoGaetzner/everforest
🌲 Comfortable & Pleasant Color Scheme for Vim
MatteoGaetzner/fastapi-nginx-gunicorn-file-server
A simple file server that utilizes FastAPI, nginx and Gunicorn. It is implemented in Python.
MatteoGaetzner/friendly-snippets
Set of preconfigured snippets for different languages.
MatteoGaetzner/grpc-todo
Minimal gRPC based todo list tool.
MatteoGaetzner/isync
IMAP and Maildir synchronizer
MatteoGaetzner/isync-with-cli-passwords
This is a modification of the mbsync (isync) project with support for supplying passwords through stdin. This allows easier automation of
MatteoGaetzner/lazy-neovim-config
Elevate your Neovim experience with this customized LazyVim-based configuration, tailored to enhance productivity and streamline your workflow.
MatteoGaetzner/mailpi
Receive instant mobile notifications whenever new physical mail arrives in your mailbox. This project leverages a Raspberry Pi and a sensor to detect the presence of mail and sends a real-time alert to your mobile device.
MatteoGaetzner/mailsync-daemon
This daemon periodically runs mbsync to synchronize local copies of emails with their remote counterparts.
MatteoGaetzner/OpenAPI-Specification
The OpenAPI Specification Repository
MatteoGaetzner/Particle-Explosion
Interesting looking particle explosion animation
MatteoGaetzner/rpi-system-files
MatteoGaetzner/nvim
MatteoGaetzner/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
MatteoGaetzner/reservoir-classification
Classification using random matrix reservoir.
MatteoGaetzner/rl
A modular, primitive-first, python-first PyTorch library for Reinforcement Learning.
MatteoGaetzner/rust-shopping-list
Fullstack shopping list app. Workshop project, developed with Rust Basel.
MatteoGaetzner/theorem-proving-in-lean
Notes and exercise solutions for 'Theorem Proving in Lean 4'
MatteoGaetzner/theorem_proving_in_lean4
Theorem Proving in Lean 4
MatteoGaetzner/tutorials
PyTorch tutorials.