Popular repositories Loading

1. Linearisation-2015 Linearisation-2015 Public

   Linearisation Procedure applied to index-bounded sets of Horn clauses

   Prolog 1 1

2. elenagutiv.github.io elenagutiv.github.io Public

   My personal webpage

   CSS

3. ga-wfas ga-wfas Public

   Genetic algorithm for maximising the input weight of weighted automata

   C

4. ML-course ML-course Public

   Code for the assignments of the Machine Learning course by Andrew Ng (Coursera)

   MATLAB

5. puzzles puzzles Public

   My solution to programming puzzles

   C

6. DSPWP DSPWP Public

   Data Science Projects with Python - Practice Book

   Jupyter Notebook