Pinned Loading

1. recolor-cifar10 recolor-cifar10 Public

   Auto encoder U-Nets and DCGANs for the coulourization task of CIFAR10 images.

   Jupyter Notebook 2

2. simpsons-gan simpsons-gan Public

   GANs and Diffusion models for the generation of Simpsons faces and MNIST numbers.

   Jupyter Notebook 1

3. supervised-cifar10 supervised-cifar10 Public

   NNs, CNNs and Residual Networks for the classification task of CIFAR10 images.

   Jupyter Notebook 1

4. np-complete np-complete Public

   Solutions to two classic np-complete problems: n-queens and knight's tour.

   Java 1

5. alethe-golem alethe-golem Public

   Forked from usi-verification-and-security/golem

   Golem's verifiable alethe proof production of LIA lin and nonlin CHCs.

   C++

6. mind-weaver mind-weaver Public

   A dungeon-crawling adventure.

   Java 2