The modern shell for SIS (the circuit simulator and optimizer)

Logic synthesis system from UC Berkeley, and the modern shell for SIS (bSIS). Now on Docker containers

BackEnd of a computer system to manage the reservation service for passport issuance for a Police Headquarters, which has multiple locations in the territory.

Elaborato SIS di architettura degli elaboratori (anno 2020-2021), ed altri componenti

BLIF (SIS' Berkeley Logic Interchange Format) highlight and autocomplete extension for Visual Studio Code

Questo progetto è incentrato sulla realizzazione di un sistema FSMD per il gioco della Morra Cinese. All'interno di questa repository, troverai i codici sorgenti scritti in linguaggio hardware Verilog e SiS (blif), insieme a tutti i moduli .blif relativi alla progettazione a gate level in SiS.

Elaborato nel linguaggio sis per UniVr (Primo anno Architettura degli elaboratori)

Elaborato assembly univr 2018

UniVR Science Discord Bot

Documentation for OS Class [LAB part] UniVR 2021-2022

SIS (circuit simulator and optimizer) wrapper for Python

A software to manage an intensive care system. Initially created as a project for "Software Engineering" course at UniVR

An example of ariadne utilization.

Primo elaborato Shell del corso di Sistemi Operativi 2017 - UniVR

Semantic Web project. Tweets analysis comparing the text with fact checking websites.

SIS project for the Computer Architecture course at University of Verona.

Assembly project for the Computer Architecture course at the University of Verona.

BLIF (SIS' Berkeley Logic Interchange Format) syntax highlighter and autocompleter package for Sublime Text

AI course project