matteogaetzner Goto Github PK

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.

mailsync-daemon

This daemon periodically runs mbsync to synchronize local copies of emails with their remote counterparts.

nvim

openapi-specification

The OpenAPI Specification Repository

particle-explosion

Interesting looking particle explosion animation

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

reservoir-classification

Classification using random matrix reservoir.

rl

A modular, primitive-first, python-first PyTorch library for Reinforcement Learning.

rpi-system-files

rust-shopping-list

Fullstack shopping list app. Workshop project, developed with Rust Basel.

theorem-proving-in-lean

Notes and exercise solutions for 'Theorem Proving in Lean 4'

theorem_proving_in_lean4

Theorem Proving in Lean 4

tutorials

PyTorch tutorials.