Popular repositories Loading

1. VST VST Public

   Forked from PrincetonUniversity/VST

   Verified Software Toolchain

   Coq

2. TricaricoSantambrogioPaticchio TricaricoSantambrogioPaticchio Public

   Forked from Trik17/TricaricoSantambrogioPaticchio

   Alloy

3. DMTM_2018 DMTM_2018 Public

   Forked from Trik17/DMTM_2018

   Data Mining and Text Mining Project 2018

   Jupyter Notebook

4. ASLRecognizer ASLRecognizer Public

   Forked from ab3llini/ASLRecognizer

   Convolutional neural networks to translate hand gestures of the American Sign Language into text sequences.

   Python

5. P2S P2S Public

   Forked from PorcianiAlex/P2S

   "Lorenzo il Magnifico" Software Engineering Project

   Java

6. DistSysPST DistSysPST Public

   Forked from Trik17/DistSysPST