nicolabertazzo / TOS
☆6Updated 6 years ago
Alternatives and similar repositories for TOS:
Users that are interested in TOS are comparing it to the libraries listed below
- Raccolta di esercizi del corso di Automi e Linguaggi Formali del Corso di Laurea in Informatica UNIPD☆9Updated 6 years ago
- Un template per il piano di lavoro utile per gli studenti della laurea triennale in Computer Science @Unipadova che devono iniziare lo st…☆9Updated 6 years ago
- Examples and exercises used during Software Engineering course☆27Updated last year
- Torre Archimede Bot☆14Updated 7 years ago
- Conterrà tutti gli appunti in LaTEX del corso di Ingegneria del Software.☆9Updated 10 years ago
- Appunti dei corsi della Laurea Magistrale in Informatica presso l'Università degli Studi di Padova☆9Updated 8 years ago
- La wiki di Ingegneria del Software☆6Updated 7 years ago
- Stocazzo As A Service☆234Updated this week
- Afternotes for the attended courses at Ca' Foscari University, master in Data Management and Analytics.☆39Updated 4 years ago
- ☆7Updated 3 years ago
- Documento Piano Triennale ICT☆35Updated 2 months ago
- While language static analyzer☆10Updated 4 years ago
- A super sus AI app to order Sushi with AI and Blockchain and Cryptography☆12Updated last year
- Interfaces course notes at UniPi☆10Updated 3 years ago
- Landing page for io.italia.it☆29Updated last week
- Notes taken in the academic year 2018-2019 at Università di Milano-Bicocca☆14Updated 5 years ago
- Modifiche 2016 alla costituzione italiana☆136Updated 6 years ago
- Simple Chrome extension that replaces Matteo Salvini's face with a cat.☆34Updated 5 years ago
- A simple Thesis template for the Bachelor's Degree in Computer Science @Unipadova☆17Updated last year
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated 4 months ago
- Python Bindings for the Probabilistic Model Checker Storm☆33Updated last week
- Collection of papers read☆210Updated 10 years ago
- LaTeX notes from various courses (mainly from UniPi)☆65Updated 6 months ago
- Repository principale di IO: offre una mappa di informazioni e risorse per orientarsi nel progetto☆122Updated 3 years ago
- Collezione di codice LaTex di dispense scritte per alcuni corsi della Laurea in Informatica dell'Università di Verona☆87Updated last year
- Il sito del progetto TerremotoCentroItalia☆66Updated 7 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated last month
- Multi-terminal and Edge-valued Decision Diagram LibrarY☆15Updated 2 months ago
- Perché per Python ci vuole la RUSPA!!!☆116Updated 3 years ago
- Docker Machine driver for the Grid'5000 testbed infrastructure.☆13Updated last month