Marco Patrignani
|
HackaPrompt VSCode Plugin |
|
Bachelor, Masters ()
lunedì 13 maggio 2024
si veda la descrizione in inglese |
|
|
|
Parser and Command Line Interface for Spectector in Coq |
|
Bachelor thesis (+tirocinio) // Masters ()
martedì 09 aprile 2024
si veda la descrizione in inglese |
|
|
|
Timesheet autocompilation via LLMs |
|
Bachelor thesis + tirocinio // Masters ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Flowistry for Clion |
|
Bachelor thesis (2022)
martedì 09 aprile 2024
Si veda la descrizione in inglese. |
|
|
|
Protocol verification: Wireguard |
|
Bachelor thesis ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Modularise Spectector |
|
Bachelor thesis (+tirocinio) ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Kirke frontend webdev |
|
bachelor thesis + tirocinio ()
martedì 09 aprile 2024
Il progetto prevede di collaborare allo sviluppo del frontend di Kirke con la startup che l'ha ideato.
Kirke è un nuovo social network dedicato alle community anime e manga nonché ai vari fandom, dove gli artisti indipendenti sono i principali creators. Puoi esplorare la preview della piattaforma su www.kirke.social. Con oltre 400 Beta Tester attivi e il certificato Seal of Excellence del bando europeo Tech4you, oggi il team Kirke è in cerca di collaboratori informatici appassionati del settore, desiderosi di mettere alla prova le proprie competenze sotto la guida del nostro software engineer interno. LINGUAGGI UTILI AL FRONTEND
|
|
|
|
Distribution for the Actum actor system in Rust |
|
Bachelor thesis (+tirocinio) // Masters ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Universal Composability Literature Review |
|
Bachelor thesis ()
martedì 09 aprile 2024
si veda la descrizione in inglese. |
|
|
|
Sanbapolis Arena analytics |
|
Bachelor thesis (+tirocinio) / Masters ()
martedì 09 aprile 2024
si veda la descrizione in inglese |
|
|
|
Sanbapolis Arena acquisition system |
|
bachelor thesis ()
martedì 09 aprile 2024
si veda il testo in inglese |
|
|
|
Protocol Verification: Commitment |
|
Bachelor Thesis (+tirocinio) ()
martedì 09 aprile 2024
Si veda la descrizione in inglese. |
|
|
|
Creusot for PBFT |
|
Bachelor, Masters ()
lunedì 11 marzo 2024
si veda la descrizione in inglese |
|
|
|
[Research Project] Formal Languages Project |
|
()
giovedì 10 novembre 2022
si veda la descrizione in inglese |
|
|
|
Custom Rust Project |
|
(2022)
martedì 11 ottobre 2022
Si veda la descrizione in inglese. |