Pinned Loading

1. hofl-typing-in-prolog hofl-typing-in-prolog Public

   higher order functional language typing in prolog

   Prolog

2. microc-compiler microc-compiler Public

   Lab of the course Languages, Compilers and Interpreters @ UNIPI

   OCaml

3. NNpy NNpy Public

   Neural Network framework for Machine Learning course @ UniPi

   Python 1 1

4. Dafny-Exercises Dafny-Exercises Public

   Computer-aided Program Verification @ UCM

   Dafny

5. Data-Mining-on-tennis-matches Data-Mining-on-tennis-matches Public

   Forked from simone-rizzo/Data-Mining-on-tennis-matches

   Data mining project on Tennis matches dataset @ UNIPI

   Jupyter Notebook

6. CellularAutomataFramework CellularAutomataFramework Public

   Framework for cellular automata

   C++