Popular repositories Loading

1. pandoc-thesis-template pandoc-thesis-template Public

   This template was used for the bachelor's degree dissertation in computer science (a.y. 20/21)

   TeX 1

2. TinyML TinyML Public archive

   Implementation of a university project

   F#

3. AdvancedAlgorithmsLab_21-22 AdvancedAlgorithmsLab_21-22 Public archive

   Contains code from assignments of Advanced Algorithms course of Unipd

   F#

4. CompilerValueCCS CompilerValueCCS Public

   Contains a compiler for Value Passing CCS into CCS with pure synchronization. It is realized with Scala 3 and Antlr4 to build the parser.

   Java

5. Telegraft Telegraft Public

   Telegraft is a distributed chat app powered by the Raft protocol.

   Scala

6. FMCS_assignments FMCS_assignments Public archive

   Formal Methods for Cyberphysical Systems assignments

   Python