Luca's repositories
LPL-Solutions
Solutions to the assignments found in the popular logic textbook "Language, Proof and Logic" written by John Etchemendy and Jon Barwise
UNIVdockeR
Docker image that contains a ready environment to get through the freshman year in the Computer Science undergraduate program at the University of Verona
compilers_project_2022
Compiilers project for A.Y. 2021-2022 at UniversitĂ di Verona
Language:YaccMIT000
linux_scripts
A collection of Linux shell scripts I wrote for automation.
Language:ShellGPL-3.0000
MentOS
An educational 32-bit linux-like Operating System.
Language:CNOASSERTION000
OpenUtau
Open singing synthesis platform / Open source UTAU successor
MIT000
os_lab_syscall_notes
Notes from the Operating Systems course at UniversitĂ di Verona
Language:TeXNOASSERTION000
treninoo
App che permette di cercare e tracciare i treni in tutta Italia
000
univr_assembly_project
Assembly language project for the University of Verona
Language:AssemblyGPL-3.0000