Popular repositories Loading

1. ClauseRec ClauseRec Public

   SAT solving framework to use deep learning models to enhance a SAT solver performance by modifying conflict propagation.

   C++ 1

2. ViquipediaSimil ViquipediaSimil Public

   Scala project to find similarities between Wikipedia entries based on interlinks and words among others.

   Scala

3. ScalAT ScalAT Public

   SAT modelling and solving with SCALA and SAT solver (SAT4J).

   Scala

4. musicambra musicambra Public

   Modelling and problem solving using MiniZinc

5. Film-Collaborative-Filtering Film-Collaborative-Filtering Public

   Deep learning project to recommend films to users based on the films similar users have watched, i.e. collaborative filtering.

   Jupyter Notebook

6. ANTLR-Compiler ANTLR-Compiler Public

   Compiler for an invented language developed as a university project.

   Java