colaalex111's repositories
software_foundations
My solutions to Software Foundations course in Coq proof assistant.
MIT000
pytorch-grad-cam
PyTorch implementation of Grad-CAM
Language:Python000
pytorch_resnet_cifar10
Proper implementation of ResNet-s for CIFAR10/100 in pytorch that matches description of the original paper.
Language:Python000
pytorch-classification
Classification with PyTorch.
Language:PythonMIT000
awesome-mac
This repo is a collection of awesome Mac applications and tools for developers and designers.
Language:HTML000