Discover projects, groups and snippets. Share your projects with others
ansible roles for LAS computers
A fragment of "Polyas Open Cred" translated from Kotlin to Java for doing formal program verification. The fragment is most likely not fully functional as simplifying assumptions are made.
This is an XSLT-based conversion of the rfc index to BibTeX for (La)TeX users.
Tools for handling the UCF format.
A handout for new doctoral researchers
Tensorflow-based benchmarks using Convolutional Neural Networks, originally developed by TensorFlow team