Popular repositories Loading

1. SAT-decision-trees SAT-decision-trees Public

   Implementation of Narodytska et al.'s "Learning Optimal Decision Trees with SAT" using Python with Google OR Tools, Microsoft Z3 and Yces 2

   Python 2

2. data-structures data-structures Public

   Simple data structures in C++ made for the Algorithms and Data Structures course

   C++

3. C-socket-API C-socket-API Public

   Simple exercises made for the Computer Networks course

   C

4. python-curses-tut python-curses-tut Public

   Forked from nikhilkumarsingh/python-curses-tut

   A beginners guide to curses in Python

   Jupyter Notebook

5. game-of-life game-of-life Public

   Terminal version of Conway's Game of Life implemented in Python with curses library

   Python

6. calcolo-numerico calcolo-numerico Public

   script MATLAB realizzati per il corso di Calcolo Numerico

   MATLAB