Popular repositories Loading
-
pytorch
pytorch PublicForked from pytorch/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
C++
-
-
higher
higher PublicForked from facebookresearch/higher
higher is a pytorch library allowing users to obtain higher order gradients over losses spanning training loops rather than individual training steps.
Python
-
densenet_cifar10
densenet_cifar10 PublicForked from denisyarats/densenet_cifar10
Meta-learning learning rates with higher
Python
-
concrete-semantics
concrete-semantics PublicForked from kolya-vasiliev/concrete-semantics
My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
Isabelle
-
concrete-semantics-Sols
concrete-semantics-Sols PublicForked from EduPH/concrete-semantics-Sols
My solutions to concrete semantics
Isabelle
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.