Stefano Volpe's Projects
Project for the University of Bologna Introductory Machine Learning course (a.y. 2022-23).
A Lua rewrite of Niko Humalamäki's "Redish" Nvim colorscheme.
A symbolic model checker for Dynamic Epistemic Logic.
Exercises presented on the webpage dedicated to Bjarne Stroustrup, "The C++ Programming Language", 4nd ed.
A Telegram bot to bring a Grindr-like experience to your groups. Except for the freemium policy, that is.
My own solutions and custom puzzles for TIS-100.
Exercises for the University of Bologna Programming course (a.y. 2020-21).
Exercises for the University of Bologna Numerical Computing course (a.y. 2021-22).
Exercises for the University of Bologna Operating Systems course (a.y. 2021-22).
Exercises and projects for the University of Bologna Computer Architecture course (a.y. 2020-21).
Exercises for the University of Bologna Combinatorial Optimisation course (a.y. 2021-22).
Exercises for the University of Bologna Data Structure and Algorithms course (a.y. 2020-21).
Exercises for the University of Bologna Web Technologies course (a.y. 2021-22).
Exercises for the University of Bologna Software Engineering course (a.y. 2022-23).
Exercises for the University of Bologna Databases course (a.y. 2022-23).
Exercises for the University of Bologna Logics for Informatic course (a.y. 2020-21).
Exercises for the University of Bologna Computer Networks course (a.y. 2021-22).
Exercises for the University of Bologna Introduction to Machine Learning course (a.y. 2022-23).
💥 Create key bindings that stick. WhichKey is a lua plugin for Neovim 0.5 that displays a popup with possible keybindings of the command you started typing.
ActivityPub for WordPress