I'm Amos Lo Verde, a Computer Science graduate from the University of Verona, currently pursuing a Master's in Computer Engineering and Science (LM-18).
Popular repositories Loading
-
solutore_SAT
solutore_SAT PublicSviluppo di un solutore per la soddisfacibilità in logica proposizionale (SAT) che implementa la procedura CDCL ("Conflict-Driven Clause Learning" o apprendimento di clausole guidato da conflitto).
Java
-
-
autospeechcut
autospeechcut PublicCLI Python basata su AI per rimuovere automaticamente silenzi e segmenti senza parlato dai video, utilizzando Silero VAD e FFmpeg.
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.