Pinned

1. recolor-cifar10 recolor-cifar10 Public

   This repository showcases two approaches to the coulourization task of CIFAR10 images: Auto Encoder U-Nets and Deep Conditional Generative Adversarial Networks (DCGANs).

   Jupyter Notebook 1

2. simpsons-gan simpsons-gan Public

   This repository showcases one of the most relevant generative models (built in pytorch) as of July 2023, Generative Adversarial Networks, for the generation of Simpson Faces.

   Jupyter Notebook 1

3. supervised-cifar10 supervised-cifar10 Public

   There are plenty of ways to approach supervised learning: Some of them being Neural Networks, Convolutional Neural Networks and Residual Networks. In this repository we develop an in depth analysis…

   Jupyter Notebook 1

4. np-complete np-complete Public

   This repository showcases visualizations of 2 classic np-complete problems: nqueens and knight's tour.

   Java 1

5. alethe-golem alethe-golem Public

   Forked from usi-verification-and-security/golem

   Solver for Constrained Horn Clauses

   C++

6. mind-weaver mind-weaver Public

   Mind Weaver - A dungeon-crawling adventure.

   Java 2