Pinned Loading

1. TARZAN TARZAN Public

   TARZAN: Timed Automata Region and Zone library for real-time systems ANalysis

   C++

2. TABEC TABEC Public

   Tool for creating Timed Automata and checking their language emptiness.

   C++

3. MastersOfReinassance MastersOfReinassance Public

   Forked from damiano1996/ing-sw-2021-derin-manini-valencic

   Software Engineering B - course project

   Java

4. Polikea Polikea Public

   Template where we can start building our Vulkan project

   C++

5. TelcoDB TelcoDB Public

   HTML

6. EdU EdU Public

   Algoritmi e Principi dell'Informatica Project

   C